Typing Correspondence Assertions for Communication Protocols
Open Access
- 30 November 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 45, 119-140
- https://doi.org/10.1016/s1571-0661(04)80959-9
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Authenticity by typing for security protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Typing Correspondence Assertions for Communication ProtocolsElectronic Notes in Theoretical Computer Science, 2001
- Verifying security protocols with BrutusACM Transactions on Software Engineering and Methodology, 2000
- Secure Information Flow as Typed Process BehaviourPublished by Springer Nature ,2000
- Typed memory management in a calculus of capabilitiesPublished by Association for Computing Machinery (ACM) ,1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- A Concurrent Object Calculus: Reduction and TypingElectronic Notes in Theoretical Computer Science, 1998
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Nature ,1998
- The chemical abstract machineTheoretical Computer Science, 1992
- Integrating functional and imperative programmingPublished by Association for Computing Machinery (ACM) ,1986