TY  - BOOK
AU  - Esparza,Javier
AU  - Spanfelner,Bernd
AU  - Grumberg,Orna
ED  - NATO Advanced Study Institute on Logics and Languages for Reliability and Security
ED  - IOS Press.
TI  - Logics and languages for reliability and security
T2  - NATO science for peace and security series. D, Information and communication security,
SN  - 9781607501008
AV  - QA76.76 
U1  - 004 22
PY  - 2010///
CY  - Amsterdam
PB  - IOS Press
KW  - Computer security
KW  - Congresses
KW  - Computer logic
KW  - Sécurité informatique
KW  - Congrès
KW  - Logique informatique
KW  - COMPUTERS
KW  - Computer Literacy
KW  - bisacsh
KW  - Computer Science
KW  - Data Processing
KW  - Hardware
KW  - General
KW  - Information Technology
KW  - Machine Theory
KW  - Reference
KW  - fast
KW  - Electronic books
KW  - Conference papers and proceedings
N1  - Includes bibliographical reference and index; 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 Automata; Implicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index
N2  - Software-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
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1361692
ER  -