Title Logics and languages for reliability and security / edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg

Published Amsterdam : IOS Press, 2010

Click on the following:
EBSCO eBooks
ProQuest Ebook Central

Copies

Description 1 online resource (ix, 325 pages) : illustrations Series NATO science for peace and security series. D, Information and communication security, 1874-6268 ; v. 24 NATO science for peace and security series. Sub-series D, Information and communication security ; v. 24. Contents 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 Summary 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 Bibliography Includes bibliographical reference and index Notes Print version record Subject Computer security -- Congresses Computer logic -- Congresses COMPUTERS -- Computer Literacy. COMPUTERS -- Computer Science. COMPUTERS -- Data Processing. COMPUTERS -- Hardware -- General. COMPUTERS -- Information Technology. COMPUTERS -- Machine Theory. COMPUTERS -- Reference. Computer logic Computer security Genre/Form Conference papers and proceedings Form Electronic book Author Esparza, Javier Spanfelner, Bernd Grumberg, Orna IOS Press. LC no. 2017394913 ISBN 9781607501008 1607501007 9781607500995 160750099X

  Permalink