03469nam 2200685Ia 450 991045085910332120200520144314.066109348351-280-93483-297866109348361-4294-9223-61-60750-236-4600-00-0561-X1-4337-0874-4(CKB)1000000000340119(EBL)305176(OCoLC)290589228(SSID)ssj0000248176(PQKBManifestationID)11209045(PQKBTitleCode)TC0000248176(PQKBWorkID)10200008(PQKB)11359917(MiAaPQ)EBC305176(Au-PeEL)EBL305176(CaPaEBR)ebr10186853(CaONFJC)MIL93483(EXLCZ)99100000000034011920070511d2007 uy 0engur|n|---|||||txtccrSoftware system reliability and security[electronic resource] /edited by Manfred Broy, Johannes Grünbauer and Tony HoareAmsterdam ;Washington, DC IOS Pressc20071 online resource (428 p.)NATO security through science series. Sub-series D, Information and communication security,1574-5589 ;v. 9"The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006."--Pref., p. vi.1-58603-731-5 Includes bibliographical references.Title page; Preface; Contents; Logics and Automata for Software Model-Checking; Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures; Using Invariants to Reason About Cryptographic Protocols; Verified Interoperable Implementations of Security Protocols; Compensable Transactions; Automata on Infinite Words and Their Applications in Formal Verification; Practical Principles for Computer Security; Engineering Requirements for System Reliability and Security; Pervasive Verification of Distributed Real-Time SystemsVerification and Synthesis of Reactive ProgramsSecurity, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles; A Verifying Compiler for a Multi-Threaded Object-Oriented Language; Author IndexTo make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering.NATO security through science series.D,Information and communication security ;v. 9.Computer softwareReliabilityCongressesComputer securityCongressesElectronic books.Computer softwareReliabilityComputer security005.8Broy M.1949-956797Grünbauer Johannes1034028Hoare C. A. R(Charles Antony Richard),1934-1034029MiAaPQMiAaPQMiAaPQBOOK9910450859103321Software system reliability and security2452906UNINA