Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).
Roland BourouletHanna KlaudelElisabeth PelzPublished in: ACSD (2006)
Keyphrases
- security protocols
- authentication protocol
- security services
- security mechanisms
- specification language
- operational semantics
- cryptographic protocols
- key management
- logic programming
- programming language
- integrity verification
- formal semantics
- cryptographic algorithms
- operating system
- user authentication
- artificial immune algorithm
- security requirements
- authentication scheme
- smart card
- multimodal biometrics
- database systems
- security analysis
- secret key
- public key
- security issues
- personal information
- rfid systems
- modal operators
- public key cryptography
- lightweight
- digital libraries