An Executable Specification Language for Planning Attacks to Security Protocols.
Luigia Carlucci AielloFabio MassacciPublished in: CSFW (2000)
Keyphrases
- security protocols
- specification language
- formal specification
- cryptographic algorithms
- description language
- automated design
- model checking
- security properties
- security mechanisms
- key management
- programming language
- authentication protocol
- planning problems
- formal methods
- cryptographic protocols
- rfid tags
- case study
- heuristic search
- planning domains
- domain independent
- computer systems
- general purpose
- database systems
- real time