Languages for Formal Specification of Security Protocols.
Catherine A. MeadowsPublished in: CSFW (1997)
Keyphrases
- formal specification
- security protocols
- specification languages
- automated design
- specification language
- model checking
- object oriented design
- reverse engineering
- artificial immune algorithm
- process algebra
- security mechanisms
- concurrent systems
- formal methods
- key management
- software components
- databases
- rfid tags
- security requirements
- relational databases
- grid workflow
- artificial intelligence