Secrecy and Group Creation
- 21 December 2000
- book chapter
- Published by Springer Nature
- p. 365-379
- https://doi.org/10.1007/3-540-44618-4_27
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- A typed language for distributed mobile processes (extended abstract)Published by Association for Computing Machinery (ACM) ,1998
- Global/local subtyping and capability inference for a distributed π-calculusPublished by Springer Nature ,1998
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Region-Based Memory ManagementInformation and Computation, 1997
- A sort inference algorithm for the polyadic π-calculusPublished by Association for Computing Machinery (ACM) ,1993
- Principal typing schemes in a polyadic π-calculusPublished by Springer Nature ,1993
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- A lattice model of secure information flowCommunications of the ACM, 1976