On the relationship between strand spaces and multi-agent systems
- 5 November 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 106-115
- https://doi.org/10.1145/501983.501999
Abstract
No abstract availableAll Related Versions
This publication has 13 references indexed in Scilit:
- A note on knowledge-based programs and specificationsDistributed Computing, 2000
- Strand spaces: proving security protocols correctJournal of Computer Security, 1999
- A logical approach to multilevel security of probabilistic systemsDistributed Computing, 1998
- An authentication logic supporting synchronization, revocation, and recencyPublished by Association for Computing Machinery (ACM) ,1996
- Naming and identity in epistemic logic part II: a first-order logic for namingArtificial Intelligence, 1995
- Naming and Identity in Epistemic Logics Part I: The Propositional CaseJournal of Logic and Computation, 1993
- A logic of authenticationACM Transactions on Computer Systems, 1990
- A fair protocol for signing contractsIEEE Transactions on Information Theory, 1990
- A knowledge-based analysis of zero knowledgePublished by Association for Computing Machinery (ACM) ,1988
- Defining livenessInformation Processing Letters, 1985