Secrecy in Programming-Language Semantics
Open Access
- 1 January 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 20, 80-94
- https://doi.org/10.1016/s1571-0661(04)80068-9
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Non-deterministic games and program analysis: An application to securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Secure implementation of channel abstractionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A core calculus of dependencyPublished by Association for Computing Machinery (ACM) ,1999
- Security Protocols and SpecificationsPublished by Springer Nature ,1999
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- Protection in programming-language translationsPublished by Springer Nature ,1998
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Secrecy by typing in security protocolsPublished by Springer Nature ,1997
- Testing equivalences for processesTheoretical Computer Science, 1984
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983