Heterogeneous Security Policy Validation: From Formal to Executable Specifications.
Jihène KrichèneMohamed HamdiNoureddine BoudrigaPublished in: J. Networks (2008)
Keyphrases
- security policies
- formal specification
- access control
- model based testing
- network security
- formal language
- security management
- access control policies
- model checking
- distributed systems
- attribute grammars
- concurrent systems
- formal methods
- network management
- security concerns
- security requirements
- security architecture
- reactive systems
- control flow
- operational semantics
- access control systems
- home network
- event logs
- ambient intelligence
- formal descriptions