A logic of authentication/
Main Author: | Burrows, Michael |
---|---|
Other Authors: | Abadi, Martin, Needham, Roger |
Format: | Book |
Language: | English |
Published: |
California:
Digital Systems Research Center,
c1989
|
Series: | Digital Systems Research Center reports ;
39 |
Subjects: |
Similar Items
-
A framework for definining logics/
by: Harper, Robert
Published: (1989) -
Logic representation/
by: Harper, Robert Almer, 1862-1946 -
Mathematical logic : foundations for information science /
by: Li, Wei, 1943-
Published: (2010) -
Norms, logics and information systems : new studies in deontic logic and computer science /
by: McNamara, P.
Published: (1999) -
Handbook of logic in computer science /
Published: (1992)