Library Catalog | Simmons University

1

Verification of infinite-state systems with applications to security

Verification of infinite-state systems with applications to security edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Published 2006

Access E-Book

Electronic Conference Proceeding eBook

2

Security and embedded systems

Security and embedded systems edited by Dimitrios N. Serpanos and Ran Giladi.

Published 2006

Access E-Book

Electronic Conference Proceeding eBook

3

Software system reliability and security

Software system reliability and security edited by Manfred Broy, Johannes Grünbauer and Tony Hoare.

Published 2007

Access E-Book

Electronic eBook

4

Modelling cyber security approaches, methodology, strategies /

Modelling cyber security approaches, methodology, strategies / edited by Umberto Gori.

Published 2009

Access E-Book

Electronic Conference Proceeding eBook

5

Algorithms, architectures and information systems security

Algorithms, architectures and information systems security editors, Bhargab B. Bhattacharya ... [et al.].

Published 2009

Access E-Book

Electronic Conference Proceeding eBook

6

Software safety and security tools for analysis and verification /

Software safety and security tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

Published 2012

Access E-Book

Electronic Conference Proceeding eBook

7

Software and systems safety specification and verification /

Software and systems safety specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.

Published 2011

Access E-Book

Electronic Conference Proceeding eBook

8

Formal logical methods for system security and correctness

Formal logical methods for system security and correctness edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

Published 2008

Access E-Book

Electronic Conference Proceeding eBook

9

Boolean functions in cryptology and information security

Boolean functions in cryptology and information security edited by Bart Preneel and Oleg A. Logachev.

Published 2008

Access E-Book

Electronic Conference Proceeding eBook

10

Secure telematic applications for national scale projects

Secure telematic applications for national scale projects edited by Jean-Guy Fontaine and Mikhail Makhaniok.

Published 2008

Access E-Book

Electronic Conference Proceeding eBook

11

Identity, security and democracy the wider social and ethical implications of automated systems for human identification /

Identity, security and democracy the wider social and ethical implications of automated systems for human identification / edited by Emilio Mordini and Manfred Green.

Published 2009

Access E-Book

Electronic Conference Proceeding eBook

12

Software systems safety /

Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.

Published 2014

Access E-Book

eBook

13

Comprehensive approach as 'sine qua non' for critical infrastructure protection /

Comprehensive approach as 'sine qua non' for critical infrastructure protection / [edited by] Denis Caleta, Slavo Radosevic.

Published 2015

Access E-Book

eBook

14

Dependable software systems engineering /

Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.

Published 2016

Access E-Book

eBook

15

Proceedings of the First International Workshop on Coding and Cryptology, Wuyi Mountain, Fujian, China 11-15 June 2007

Proceedings of the First International Workshop on Coding and Cryptology, Wuyi Mountain, Fujian, China 11-15 June 2007 editors, Yongqing Li ... [et al.].

Published 2008

Access E-Book

Electronic Conference Proceeding eBook

16

Terrorist use of cyberspace and cyber terrorism : new challenges and reponses /

Terrorist use of cyberspace and cyber terrorism : new challenges and reponses / edited by Mehmet Nesip Ogun.

Published 2015

Access E-Book

eBook