Cargando…

Software safety and security : tools for analysis and verification /

Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been somethi...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, IOS Press (Firm)
Otros Autores: Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2012.
Colección:NATO science for peace and security series. Information and communication security ; v. 33.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ia 4500
001 EBSCO_ocn796813034
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 120626s2012 ne a ob 101 0 eng d
040 |a IOSPR  |b eng  |e pn  |c IOSPR  |d N$T  |d IDEBK  |d UKMGB  |d OCLCQ  |d YDXCP  |d OCLCQ  |d OCLCF  |d OCLCO  |d OCL  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d AGLDB  |d OCLCQ  |d U3W  |d OCLCA  |d OCLCQ  |d VTS  |d COCUF  |d INT  |d OCLCQ  |d VT2  |d OCLCQ  |d STF  |d M8D  |d HS0  |d OCLCO  |d OCLCQ  |d OCLCO 
016 7 |a 016121553  |2 Uk 
019 |a 798209603  |a 817095532  |a 1081201487 
020 |a 9781614990284  |q (electronic bk.) 
020 |a 161499028X  |q (electronic bk.) 
020 |a 1280875909 
020 |a 9781280875908 
020 |a 9781614990277 
020 |a 1614990271 
029 1 |a AU@  |b 000050608551 
029 1 |a DEBBG  |b BV043118185 
029 1 |a DEBSZ  |b 421402377 
029 1 |a GBVCP  |b 804025479 
035 |a (OCoLC)796813034  |z (OCoLC)798209603  |z (OCoLC)817095532  |z (OCoLC)1081201487 
050 4 |a QA76.76.V47  |b N38 2012eb 
072 7 |a COM  |x 051330  |2 bisacsh 
082 0 4 |a 005.1/4  |2 23 
049 |a UAMI 
111 2 |a NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security  |d (2011 :  |c Bayrischzell, Germany) 
245 1 0 |a Software safety and security :  |b tools for analysis and verification /  |c edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann. 
260 |a Amsterdam ;  |a Washington, D.C. :  |b IOS Press,  |c ©2012. 
300 |a 1 online resource :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a NATO science for peace and security series. D, Information and communication security ;  |v v. 33 
500 |a "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--Title page verso. 
500 |a International conference proceedings. 
500 |a Includes indexes. 
520 |a Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. There has also been something of a breakthrough in the area of operating system verification. This book presents the lectures from the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security; a summer school held at Bayrischzell, Germany, in 2011. This Advanced Study Institute was divided into three integrated modules: Foundations of Safety and Security, Applications of Safety Analysis and Security Analysis. Subjects covered include mechanized game-based proofs of security protocols, formal security proofs, model checking, using and building an automatic program verifier and a hands-on introduction to interactive proofs. Bringing together many leading international experts in the field, this NATO Advanced Study Institute once more proved invaluable in facilitating the connections which will influence the quality of future research and the potential to transfer research into practice. This book will be of interest to all those whose work depends on the safety and security of software systems. 
504 |a Includes bibliographical references and indexes. 
505 0 |a SOFTWARE SAFETY AND SECURITY; Preface; Contents; Mechanizing Game-Based Proofs of Security Protocols; Formal Security Proofs; Model Checking: From BDDs to Interpolation; Interactive Proof: Applications to Semantics; Advances in Probabilistic Model Checking; Getting Started with Dafny: A Guide; Lecture Notes on Software Model Checking; Boolean Satisfiability Solvers: Techniques and Extensions; Interactive Proof: Introduction to Isabelle/HOL; A Primer on Separation Logic (and Automatic Program Verification and Analysis); A Perspective on Information-Flow Control 
505 8 |a Precise Program Analysis through Strategy Iteration and OptimizationSubject Index; Author Index 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Computer software  |x Verification  |v Congresses. 
650 0 |a Computer security  |v Congresses. 
650 6 |a Logiciels  |x Vérification  |v Congrès. 
650 6 |a Sécurité informatique  |v Congrès. 
650 7 |a COMPUTERS  |x Software Development & Engineering  |x Quality Assurance & Testing.  |2 bisacsh 
650 7 |a Computer security  |2 fast 
650 7 |a Computer software  |x Verification  |2 fast 
655 7 |a Conference papers and proceedings  |2 fast 
700 1 |a Nipkow, Tobias,  |d 1958- 
700 1 |a Grumberg, Orna. 
700 1 |a Hauptmann, Benedikt. 
710 2 |a IOS Press (Firm) 
776 0 8 |i Print version:  |a NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany).  |t Software safety and security.  |d Amsterdam ; Washington, D.C. : IOS Press, ©2012  |w (DLC) 2012937823 
830 0 |a NATO science for peace and security series.  |n Sub-series D,  |p Information and communication security ;  |v v. 33. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=463799  |z Texto completo 
938 |a EBSCOhost  |b EBSC  |n 463799 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 371721 
938 |a YBP Library Services  |b YANK  |n 8923755 
994 |a 92  |b IZTAP