Specification and Verification of Security Policies in Firewalls.
Rasool JaliliMohsen RezvaniPublished in: EurAsia-ICT (2002)
Keyphrases
- security policies
- network security
- formal verification
- access control
- asynchronous circuits
- formal methods
- protocol specification
- security management
- computer networks
- security concerns
- model checking
- intrusion detection
- intrusion detection system
- access control policies
- formal specification
- security requirements
- distributed systems
- information security
- unauthorized access
- multilevel secure
- access control systems
- database
- anomaly detection
- home network
- access control mechanism
- network traffic
- specification language
- concurrent systems
- colored petri nets
- databases
- information systems
- supervised learning
- knowledge management
- cyber attacks
- fine grained