A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network.
Handan Gül ÇalikliM. Ufuk ÇaglayanPublished in: ISCIS (2005)
Keyphrases
- specification language
- formal specification
- requirements specification
- wireless local area network
- description language
- programming language
- network management
- information security
- access points
- wireless networks
- software environment
- policy enforcement
- virtual private network
- enterprise network
- mobile ip
- access control
- wireless sensor networks
- security policies
- security requirements
- security issues
- reverse engineering
- network security
- computer networks
- software architecture
- peer to peer
- information systems
- artificial intelligence