Çalıklı, H. G. and Çağlayan, U. (2005) A formal policy specification language for an 802.11 WLAN with enhanced security network. In: Yolum, P., Güngör, T., Gürgen, F. and Özturan, C. (eds.) Computer and Information Sciences - ISCIS 2005: 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings. Series: Lecture notes in computer science (3733). Springer: Berlin, Heidelberg, pp. 183-192. ISBN 9783540294146 (doi: 10.1007/11569596_21)
Full text not currently available from Enlighten.
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 Mob adtl [1] according its refinement methodology to obtain a formal policy specification language for an 802.11 WLAN with enhanced security network.
| Item Type: | Book Sections |
|---|---|
| Status: | Published |
| Glasgow Author(s) Enlighten ID: | Calikli, Dr Handan Gul |
| Authors: | Çalıklı, H. G., and Çağlayan, U. |
| College/School: | College of Science and Engineering > School of Computing Science |
| Publisher: | Springer |
| ISBN: | 9783540294146 |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details