Towards Formal Specification of Abstract Security Properties.
Antonio MañaGimena PujolPublished in: ARES (2008)
Keyphrases
- formal specification
- security properties
- formal methods
- object oriented design
- security requirements
- model checking
- formal model
- security analysis
- process algebra
- reverse engineering
- security protocols
- concurrent systems
- software components
- cryptographic protocols
- response time
- software engineering
- artificial intelligence