The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.
Frank KoobMarkus UllmannStefan WittmannPublished in: FM-Trends (1998)
Keyphrases
- security policies
- formal models
- access control
- network security
- security management
- security requirements
- rule based systems
- security concerns
- formal model
- distributed systems
- network management
- process model
- security architecture
- security measures
- home network
- data security
- access control policies
- intrusion detection
- ubiquitous computing environments
- unauthorized access
- access control mechanism
- machine learning
- network access
- business processes
- computer networks
- information security
- data processing
- natural language
- information systems