Representing Security Specifications in UML State Machine Diagrams.
Muhammad Umair KhanPublished in: FNC/MobiSPC (2015)
Keyphrases
- state machine
- state machines
- finite state machines
- fault tolerant
- functional requirements
- class diagram
- intrusion detection
- security policies
- security issues
- network security
- graphical representation
- formal specification
- class diagrams
- sequence diagrams
- information security
- information flow
- uml diagrams
- access control
- statistical databases
- databases
- security requirements
- specification language
- software architecture
- matching algorithm
- uml class diagrams
- database design
- pattern matching