UML based Security Function Policy Verification Method for Requirements Specification.
Atsushi NoroSaeko MatsuuraPublished in: COMPSAC (2013)
Keyphrases
- requirements specification
- verification method
- requirements engineering
- software engineering
- specification language
- software systems
- software requirements
- model checking
- security requirements
- activity diagrams
- development process
- access control
- functional requirements
- intrusion detection
- temporal logic
- security policies
- metamodel
- information security
- systems development
- network security
- database
- programming language
- state space
- e learning
- decision making
- databases