03317nam 2200709 a 450 991045916760332120200520144314.066126926771-282-69267-497866126926731-60750-100-7(CKB)2670000000033288(EBL)557042(OCoLC)647184853(SSID)ssj0000439121(PQKBManifestationID)12120114(PQKBTitleCode)TC0000439121(PQKBWorkID)10463946(PQKB)10842109(MiAaPQ)EBC557042(Au-PeEL)EBL557042(CaPaEBR)ebr10403989(CaONFJC)MIL269267(EXLCZ)99267000000003328820100111d2010 uy 0engur|n|---|||||txtccrLogics and languages for reliability and security[electronic resource] /[edited by] Javier Esparza, Bernd Spanfelner, Orna GrumbergWashington, D.C. IOS Press20101 online resource (336 p.)NATO science for peace and security series. D, Information and communication security ;v. 25Includes indexes.1-60750-099-X Title page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown AutomataImplicit Flows in Malicious and Nonmalicious CodeSubject Index; Author IndexSoftware-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness.NATO science for peace and security series.Sub-series D,Information and communication security ;v. 25.Programming languages (Electronic computers)Languages, ArtificialComputersReliabilityComputer securityElectronic books.Programming languages (Electronic computers)Languages, Artificial.ComputersReliability.Computer security.005.8Esparza Javier1041972Spanfelner Bernd1041973Grumberg Orna67499Technische Universität München (Germany)TECHNION.Israel Institute of Technology (Israel)MiAaPQMiAaPQMiAaPQBOOK9910459167603321Logics and languages for reliability and security2465783UNINA