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 条

[41] On a GUI based editor for a formal specification language
Ishikawa, I
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2004, 111 : 241 - 248
[42] QoS Provisioning in 802.11 WLAN Coupled with UMTS Network
Liu, Chunming
Zhou, Chi
2006 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC 2006), VOLS 1-4, 2006, : 481 - 486
[43] A preliminary formal specification of virtual organization creation with RAISE specification language
Nami, Mohammad Reza
Sharifi, Mohsen
Malekpour, Abbas
SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 227 - +
[44] A Specification Language for Information Security Policies
Garcia Garcia, Juan Manuel
PROCEEDINGS OF THE 15TH AMERICAN CONFERENCE ON APPLIED MATHEMATICS AND PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL AND INFORMATION SCIENCES 2009, VOLS I AND II, 2009, : 437 - +
[45] SPECIFICATION AND VALIDATION OF A SECURITY POLICY MODEL
BOSWELL, A
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 63 - 68
[46] A Formal Specification and Verification Framework for Timed Security Protocols
Li, Li
Sun, Jun
Liu, Yang
Sun, Meng
Dong, Jin-Song
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (08) : 725 - 746
[47] A Formal Methods Approach to Security Requirements Specification and Verification
Rouland, Quentin
Hamid, Brahim
Bodeveix, Jean-Paul
Filali, Mamoun
2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 236 - 241
[48] A formal specification in JML of Java']Java security package
Agarwal, Poonam
Rubio-Medrano, Carlos E.
Cheon, Yoonsik
Teller, Patricia. J.
ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2007, : 363 - 368
[49] On the security of wireless network protocol 802.11
Sun, Hong
Yang, Yi-Xian
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2003, 31 (07): : 1098 - 1100
[50] Enhanced transmission mode selection in IEEE 802.11 a WLAN system
Doo, KY
Song, JY
Cho, DH
VTC2004-FALL: 2004 IEEE 60TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-7: WIRELESS TECHNOLOGIES FOR GLOBAL SECURITY, 2004, : 5059 - 5062

← 1 2 3 4 5 →