Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.
Marwa ZeroualBrahim HamidMorayo AdedjoumaJason JaskolkaPublished in: SAFECOMP Workshops (2023)
Keyphrases
- security requirements
- formal verification
- information security
- model checking
- security policies
- smart card
- security analysis
- security problems
- security concerns
- security model
- security mechanisms
- security properties
- access control
- software architecture
- mobile commerce
- model checker
- symbolic model checking
- bounded model checking
- secure electronic
- security issues
- security patterns
- automated verification
- covert channel
- temporal logic
- software engineering
- information systems