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 条

[31] Formal Specification of Software Architecture Security Tactics
Wyeth, Andrew
Zhang, Cui
22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 172 - 175
[32] A formal specification of the MIDP 2.0 security model
Beguelin, Santiago Zanella
Betarte, Gustavo
Luna, Carlos
FORMAL ASPECTS IN SECURITY AND TRUST, 2007, 4691 : 220 - +
[33] Formal specification and integration of distributed security policies
Mejri, Mohamed
Yahyaoui, Hamdi
COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2017, 49 : 1 - 35
[34] A review on security requirements specification by formal methods
Mishra, Aditya Dev
Mustafa, Khurram
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2022, 34 (05):
[35] Towards formal specification of abstract security properties
Mana, Antonio
Pujol, Gimena
ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY, 2008, : 80 - +
[36] The Ponder policy specification language
Damianou, N
Dulay, N
Lupu, E
Sloman, M
POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, 1995 : 18 - 38
[37] Formal validation of automated policy refinement in the management of network security systems
de Albuquerque, Joao Porto
Krumm, Heiko
de Geus, Paulo Licio
INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2010, 9 (02) : 99 - 125
[38] Formal validation of automated policy refinement in the management of network security systems
João Porto de Albuquerque
Heiko Krumm
Paulo Lício de Geus
International Journal of Information Security, 2010, 9 : 99 - 125
[39] A Language for Biochemical Systems: Design and Formal Specification
Pedersen, Michael
Plotkin, Gordon D.
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
[40] On the Formal Semantics of MiniMaple and its Specification Language
Khan, Muhammad Taimoor
10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174

← 1 2 3 4 5 →