Automatic Conformance Verification of Distributed Firewalls to Security Requirements.
Nihel Ben YoussefAdel BouhoulaPublished in: SocialCom/PASSAT (2010)
Keyphrases
- security requirements
- security analysis
- security properties
- smart card
- access control
- security mechanisms
- security policies
- distributed systems
- concurrency control protocols
- security model
- information security
- security problems
- software architecture
- multi agent
- security concerns
- computer networks
- distributed environment
- mobile commerce
- cooperative
- high security
- secure electronic
- peer to peer
- case study
- timing constraints
- security patterns
- covert channel
- network security
- model checking
- security protocols
- lightweight