Joshua Guttman
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
8
Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
Formal Aspects in Security and Trust
Principles of Security and Trust
Foundations of Security, Protocols, and Equational Reasoning
Logic, Language, and Security
VLISP A Verfied Implementation of Scheme
Logical constants and logical objects
