One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements.
Iliano CervesatoCatherine A. MeadowsPublished in: IEEE Trans. Dependable Secur. Comput. (2007)
Keyphrases
- security requirements
- tree representation
- tree structure
- smart card
- binary tree
- information security
- security analysis
- security policies
- tree structures
- security properties
- access control
- security mechanisms
- software architecture
- security patterns
- pruning algorithm
- game tree
- information systems
- secure electronic
- security protocols
- quadtree
- hierarchical structure
- relational databases
- training set