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

被引：0
|
作者：
Çalikli, HG [1 ]
Çaglayan, U [1 ]
机构：
[1] Bogazici Univ, Dept Comp Engn, TR-34342 Istanbul, Turkey
来源：
COMPUTER AND INFORMATION SCIENCES - ISCIS 2005, PROCEEDINGS | 2005年 / 3733卷
关键词：
administrative domain; 802.11 wireless local area network (WLAN); MOBadtl; security policy;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：183 / 192
页数：10
相关论文
共 50 条
  • [21] On the impact of security on latency in WLAN 802.11b
    Fathi, H
    Kobara, K
    Chakraborty, SS
    Imai, H
    Prasad, R
    GLOBECOM '05: IEEE Global Telecommunications Conference, Vols 1-6: DISCOVERY PAST AND FUTURE, 2005, : 1752 - 1756
  • [22] A formal specification language for agent conversations
    Soriano, J
    Alonso, F
    López, G
    MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, 2003, 2691 : 214 - 225
  • [23] Evaluating a formal KBS specification language
    vanHarmelen, F
    Aben, M
    Ruiz, F
    vandePlassche, J
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1996, 11 (01): : 56 - 62
  • [24] Security and management policy specification
    Sloman, M
    Lupu, E
    IEEE NETWORK, 2002, 16 (02): : 10 - 19
  • [25] Security policy specification in logic
    Barker, S
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1299 - 1304
  • [26] Formal Specification of a Particular Banking Domain with RAISE Specification Language
    Nami, Mohammad Reza
    Malekpour, Abbas
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 7 - +
  • [27] Security Requirements Specification: A Formal Method Perspective
    Mishra, Aditya Dev
    Mustafa, K.
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117
  • [28] Security in an insecure WLAN Network
    Anjum, F
    Das, S
    Gopalakrishnan, P
    Kant, L
    Kim, L
    2005 International Conference on Wireless Networks, Communications and Mobile Computing, Vols 1 and 2, 2005, : 292 - 297
  • [29] Panel on languages for formal specification of security protocols
    Meadows, C
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 96 - 96
  • [30] Formal Specification of Security Guidelines for Program Certification
    Zhioua, Zeineb
    Roudier, Yves
    Ameur-Boulifa, Rabea
    PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 95 - 102
12345