A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network

摘要

In Wide Area Networks (WANs) inconsistencies among the security policies of Administrative Domains (ADs) may cause severe security flaws. Recently, security policies are written in natural language and as they get more complicated, even for an expert it might be impossible to detect such inconsistencies. However, when a formal language is used, it might be possible to make verification of security policies by automated theorem proving tools. Due to the existence of mobile devices such as laptops, PDAs and mobile agents, we need a formal language that is capable of defining the concept of mobility. In this paper, we extend Mob_(adtl) according its refinement methodology to obtain a formal policy specification language for an 802.11 WLAN with enhanced security network.