Steve Kremer
Identifiers
- Open LibraryOL7073872A
Top Subjects
- Electronic information resources (1)
- Computer security (1)
- Computers (1)
- Access control (1)
- Security measures (1)
- Computer networks (1)
- Cryptography (1)
Books by Steve Kremer
Total count: 2
Formal models and techniques for analyzing security protocolsIOS Press2011-01-01-
Principles of Security and TrustThird International Conference, POST 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsSpringer Berlin / Heidelberg2014-01-01