Using Abstract Interpretation for the Safe Verification of Security Protocols.
Dominique BolignanoPublished in: MFPS (1999)
Keyphrases
- security protocols
- abstract interpretation
- model checking
- termination analysis
- cryptographic protocols
- static analysis
- automated design
- key management
- active databases
- reasoning engine
- security mechanisms
- active rules
- dynamic analysis
- software systems
- integrity constraints
- rfid tags
- security requirements
- database
- software development
- software engineering
- wireless sensor networks
- data streams