CAPSL: Common Authentication Protocol Specification Language.
Jonathan K. MillenPublished in: NSPW (1996)
Keyphrases
- specification language
- authentication protocol
- smart card
- programming language
- formal specification
- description language
- security analysis
- public key
- lightweight
- security protocols
- rfid tags
- rfid systems
- secret key
- hash functions
- real time
- resource constrained
- software architecture
- domain specific
- object oriented
- database