OtiumSessione
Sessione
Non abbiamo ancora una biografia di Steve Schneider.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
That's all folks!
1999
Refocusing crime prevention
2007
Formal aspects of security
2004
Designing Fear
2008
Computer Security - ESORICS 2020
2020
Computer Security – ESORICS 2019
2019
Applied Cryptography and Network Security
2016
ZB 2005 : Formal Specification and Development in Z and B
2005
The B-method (Cornerstones of Computing)
2001
Robert F. Kennedy
2001
Integrated Formal Methods
2017
Information Security
2018
E-Voting and Identity
2013
Concurrent and real-time systems
2000
Formal aspects in security and trust
2006