|
|
|
Software system reliability and security [electronic resource] / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare.
by Broy, M, 1949- | Grunbauer, Johannes | Hoare, C. A. R. (Charles Antony Richard), 1934- | ebrary, Inc. Publisher: Amsterdam ; Washington, DC : IOS Press, c2007Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Formal logical methods for system security and correctness [electronic resource] / 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 | Nipkow, Tobias, 1958- | Pfaller, Christian | ebrary, Inc. Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Algorithms, architectures and information systems security [electronic resource] / editors, Bhargab B. Bhattacharya ... [et al.].
by Bhattacharya, Bhargab B | ebrary, Inc | International Conference on Information Systems Security (2nd : 2006 : Calcutta, India) | International Conference on Computing: Theory and Applications (2007 : Calcutta, India). Publisher: New Jersey : World Scientific, c2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Boolean functions in cryptology and information security [electronic resource] / edited by Bart Preneel and Oleg A. Logachev.
by NATO Advanced Study Institute on Boolean Functions in Cryptology and Information Security (2007 : Zvenigorod, Russia) | Logachev, Oleg A | Preneel, Bart, 1963- | NATO Science for Peace and Security Programme | North Atlantic Treaty Organization. Public Diplomacy Division | ebrary, Inc. Publisher: Amsterdam ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3/24]
(1).
|
|
|
|
Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
by NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania) | Clarke, Edmund | Minea, Marius | Tiplea, Ferucio Laurentiu | ebrary, Inc. Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 005.8]
(1).
|
|
|
|
Security and embedded systems [electronic resource] / edited by Dimitrios N. Serpanos and Ran Giladi.
by NATO Advanced Research Workshop on Security and Embedded Systems (2005 August 22-26 : Patrai, Greece) | Giladi, Ran | Serpanos, Dimitrios Nikolaou | ebrary, Inc. Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Modelling cyber security : approaches, methodology, strategies / edited by Umberto Gori.
by NATO Advanced Research Workshop on Operational Network Intelligence: Today and Tomorrow (2009 Venice, Italy). Publisher: Amsterdam : IOS Press, c2009Availability: Items available for loan: Taylor's Library-TU
[Call number: 005.8 NAT 2009]
(1).
|
|
|
|
Advances in security technology : International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / Haeng-Kon Kim, Tai-Hoon Kim, Akingbehin Kiumi (eds.)
by SecTech 2008 (2008 : Sanya Shi, China) | Kim, Haeng-Kon | Kim, Tai-hoon | Kiumi, Akingbehin. Publisher: Berlin : Springer, c2009Availability: Items available for loan: Taylor's Library-TU
[Call number: 005.8 SEC 2009]
(1).
|
|
|
|
Identity, security and democracy [electronic resource] : the wider social and ethical implications of automated systems for human identification / edited by Emilio Mordini and Manfred Green.
by NATO Advanced Research Workshop on Identity, Security and Democracy: the Wider Social and Ethical Implications of Automated Systems for Human Identification (2006 : Jerusalem) | Green, Manfred | Mordini, E. (Emilio) | ebrary, Inc. Publisher: Amsterdam ; Oxford : IOS Press, 2009Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Secure telematic applications for national scale projects [electronic resource] / edited by Jean-Guy Fontaine and Mikhail Makhaniok.
by NATO Advanced Research Workshop on Secure Telematic Applications for National Scale Projects (2006 : Minsk, Belarus) | Fontaine, Jean-Guy | Makhaniok, Mikhail | ebrary, Inc. Publisher: Amsterdam, Netherlands : Fairfax, VA : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
by Broy, Manfred | Leuxner, Christian | Hoare, A. G | ebrary, Inc | NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany). Publisher: Amsterdam, The Netherlands : IOS Press, 2011Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Advances in cryptology, 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT Conferences, 1981-1997 / Kevin S. McCurley, Claus Dieter Ziegler (eds.)
by McCurley, Kevin S | Ziegler, Claus Dieter | CRYPTO. Advances in cryptology | EUROCRYPT. Advances in cryptology. Publisher: Berlin : Springer-Verlag, c1998Availability: Items available for loan: Taylor's Library-TU
[Call number: 005.8 ADV]
(1).
|
