A formal policy specification language for an 802.11 WLAN with enhanced security network

Authors:
Handan Gül Çalıklı;Ufuk Çağlayan
Affiliations:
Department of Computer Engineering, Boğaziçi University, Bebek, İstanbul, Turkey;Department of Computer Engineering, Boğaziçi University, Bebek, İstanbul, Turkey
Venue:
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Year:
2005

Citing 6
Cited 0

Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secure safe ambients

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Boxed Ambients

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Set and Function Approach to Modeling Authorization in Distributed Systems

MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Specifying a security policy: a case study

CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Distributed States Logic

TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 Mobadtl [1] according its refinement methodology to obtain a formal policy specification language for an 802.11 WLAN with enhanced security network.