Searching for "Programming Cryptographic Protocols." – sorted by Relevance.
-
Programming cryptographic protocols
- Programming Cryptographic Protocols ⋆ Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell
- Cited by 9 (2 self) – Add To MetaCart
-
Wireless authentication in χ-Spaces
- programming language is a direct implementation of the SPL (Security Protocol Language) [CW01], a formal model
- Cited by 3 (3 self) – Add To MetaCart

