J
Joshua Guttman
1955
8 works on record
Works

Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers

Principles of Security and Trust Lecture Notes in Computer Science

VLISP A Verfied Implementation of Scheme

Foundations of Security, Protocols, and Equational Reasoning

Formal Aspects in Security and Trust

Principles of Security and Trust
Logic, Language, and Security
Logic, Language, and Security
Logical constants and logical objects
Logical constants and logical objects