by
NATO Advanced Research Workshop on Security and Embedded Systems (2005 Aug. 22-26 : Patras, Greece)
Call Number
004.16 22
Publication Date
2006
Format:
Electronic Resources
Relevance:
0.0945
by
NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany)
Call Number
005.1 22
Publication Date
2009
Summary
Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice.
Format:
Electronic Resources
Relevance:
0.0657
View Other Search Results
by
Broy, M., 1949-
Call Number
005 22
Publication Date
2007
Summary
To 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.
Format:
Electronic Resources
Relevance:
0.0635
by
NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010 : Marktoberdorf, Germany)
Call Number
005.10289
Publication Date
2011
Summary
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Speci.
Format:
Electronic Resources
Relevance:
0.0615
by
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Call Number
005.14 23
Publication Date
2012
Summary
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.
Format:
Electronic Resources
Relevance:
0.0566
Limit Search Results
Narrowed by: