Your search returned 4 results.

Results
		Engineering methods and tools for software safety and security / edited by Manfred Broy, Wassiou Sitou and Tony Hoare. by NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany) Broy, M, 1949- [edt] Sitou, Wassiou [edt] Hoare, C A R, 1934- [edt] Series: NATO science for peace and security series ; v. 22 Publication details: Amsterdam, The Netherlands : Washington, D.C. IOS Press, ©2009 Online resources: Click here to access online Availability: No items available. Add to cart (remove)
		Strategic cyber defense : a multidisciplinary perspective / edited by Unal Tatar, Yasir Gokce, and Adrian V. Gheorghe. by NATO Advanced Research Workshop on A Framework for Military Cyber Defense Strategy (2016 : Norfolk, Va.) Gheorghe, Adrian V Tatar, Unal Gokce, Yasir Series: NATO science for peace and security series Online resources: Click here to access online Availability: No items available. Add to cart (remove)
		Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) Grumberg, Orna [edt] Nipkow, Tobias, 1958- [edt] Pfaller, Christian [edt] Series: NATO science for peace and security series ; v. 14 Publication details: Amsterdam, The Netherlands : Washington, D.C. IOS Press, ©2008 Online resources: Click here to access online Availability: No items available. Add to cart (remove)
		Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. by NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany) Pretschner, Alexander Peled, Doron A, 1962- Hutzelmann, Thomas Series: NATO science for peace and security series Online resources: Click here to access online Availability: No items available. Add to cart (remove)