Verifying security properties of internet protocol stacks: The split verification approach.
Jayaraj PoroorBharat JayaramanPublished in: J. Syst. Archit. (2011)
Keyphrases
- security properties
- internet protocol
- model checking
- formal methods
- cryptographic protocols
- end to end
- ip networks
- formal model
- communication networks
- security analysis
- security requirements
- tcp ip
- security protocols
- wireless networks
- formal verification
- formal specification
- multi hop
- multimedia services
- real time
- standard model
- authentication protocol
- mobility management
- software engineering