Verifying security requirements using model checking technique for UML-based requirements specification.
Yoshitaka AokiSaeko MatsuuraPublished in: RET (2014)
Keyphrases
- model checking
- security requirements
- requirements specification
- requirements engineering
- temporal logic
- formal specification
- specification language
- software architecture
- smart card
- information security
- software requirements
- security policies
- activity diagrams
- formal methods
- access control
- verification method
- systems development
- formal verification
- software engineering
- software systems
- software development
- reinforcement learning
- information systems
- databases