#-Spaces: Programming Security Protocols
unknown authors
http://www.chispaces.com/papers/chispacesabstract.ps
Add To MetaCart
Abstract:
Abstract. We introduce #-Spaces, a domain specific programming language tailored to the development of security protocols. #-Spaces has a rigorous formal semantics which allows us to reason about the actual implementation of security protocols. In this manner we fill-in the gap between the formal specification of a protocol and its actual implementation.
Citations
| 715 | Generative communication in Linda – Gelernter - 1985 |
| 697 | Using encryption for authentication in large networks of computers – Needham, Schroeder - 1978 |
| 458 | Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Lowe - 1996 |
| 43 | Events in security protocols – Crazzolara, Winskel - 2001 |
| 22 | Recommendation X.509: The Directory - Authentication Framework – ITU-T - 1997 |
| 14 | JavaTM Cryptography Architecture API Specification and Reference – microsystems - 1999 |
| 11 | Bypassing warnings for invalid SSL certificates – ACROS - 2000 |
| 11 | The Java Language Specification Second Edition. Sun microsystems – Gosling, Joy, et al. - 2000 |
| 7 | χ-Spaces: From a model to a working language – Cccamo, Crazzolara, et al. - 2002 |
| 5 | χ-Spaces: Authentication for Jini services – Cccamo, Crazzolara, et al. - 2002 |
| 1 | The ISO 5-pass authentication in #-Spaces – Caccamo, Crazzolara, et al. - 2002 |
| 1 | Developing security protocols in #-Spaces – Crazzolara, Milicia - 2002 |
