Compositional Verification of Application-Level Security Properties.
Linda Ariani GunawanPeter HerrmannPublished in: ESSoS (2013)
Keyphrases
- unsupervised learning
- application level
- security properties
- cryptographic protocols
- formal methods
- operating system
- security requirements
- formal model
- security analysis
- security protocols
- virtual machine
- network management
- quality of service
- model checking
- overlay network
- bottle neck
- databases
- smart card
- low cost
- software engineering
- end to end
- lightweight
- elliptic curve
- formal verification
- information systems