A Formal Approach for Network Security Policy Relevancy Checking.
Fakher Ben FtimaKamel KarouiHenda Ben GhézalaPublished in: NSS (2017)
Keyphrases
- security policies
- network management
- access control
- network access
- network security
- computer networks
- home network
- peer to peer
- security requirements
- security measures
- security architecture
- network structure
- security concerns
- security management
- wireless networks
- access control systems
- wireless sensor networks
- network traffic
- ubiquitous computing environments
- distributed systems
- information systems