Specification and formal verification of security requirements.
Isaac AgudoJavier LópezPublished in: CompSysTech (2004)
Keyphrases
- formal verification
- security requirements
- model checking
- information security
- security analysis
- smart card
- access control
- security policies
- security mechanisms
- security model
- software architecture
- bounded model checking
- model checker
- security properties
- automated verification
- security problems
- security concerns
- symbolic model checking
- reference models
- security patterns
- mobile commerce
- temporal logic
- secure electronic
- databases
- knowledge based systems
- formal model