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

Handan Gül Çalıklı, Ufuk Çağlayan
2005 Lecture Notes in Computer Science  
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
more » ... 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 [1] according its refinement methodology to obtain a formal policy specification language for an 802.11 WLAN with enhanced security network.
doi:10.1007/11569596_21 fatcat:h75ocuhvfnem3ftwdl5aqq3rum