Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems.
Ramesh V. PeriWilliam A. WulfPublished in: CSFW (1994)
Keyphrases
- security policies
- information flow
- access control
- formal specification
- distributed systems
- security measures
- security requirements
- security management
- access control mechanism
- cyber attacks
- access control policies
- network security
- information security
- formal methods
- access control systems
- mandatory access control
- multilevel secure
- fine grained
- communication networks
- social networks
- xml access control
- reverse engineering
- security concerns
- model checking
- intrusion detection
- business process
- supply chain
- databases