A formal framework (Expression plus Analysis) for network security mechanisms configuration

被引:0
|
作者
Laborde, R [1 ]
Barrère, F [1 ]
Benzekri, A [1 ]
机构
[1] Univ Toulouse 3, IRIT, SIERA, F-31062 Toulouse, France
来源
Fourth IEEE International Symposium on Network Computing and Applications, Proceedings | 2005年
关键词
D O I
10.1109/NCA.2005.2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Security mechanisms enforcement consists in configuring devices with the aim that they cooperate and guarantee the defined security goals. In the network context, this task is complex due to the number, the nature, and the interdependencies of the devices to consider. We propose in this article a formal framework which models the network security management information in order to verify the appliance of security goals. The framework is divided into two components. First, a formal language allows its user to graphically specify the abstract network security tactics while considering network topologies. Second, an associated evaluation method guarantees the consistency and the correctness of the tactics according to the security goals.
引用
收藏
页码:223 / 226
页数:4
相关论文
共 50 条
  • [31] Formal security analysis of LoRaWAN
    Eldefrawy, Mohamed
    Butun, Ismail
    Pereira, Nuno
    Gidlund, Mikael
    COMPUTER NETWORKS, 2019, 148 : 328 - 339
  • [32] A Security Assurance Framework Combining Formal Verification and Security Functional Testing
    Wang, Weiguang
    Zeng, Qingkai
    Mathur, Aditya P.
    2012 12TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2012, : 136 - 139
  • [33] Formal security policy implementations in network firewalls
    Macfarlane, Richard
    Buchanan, William
    Ekonomou, Elias
    Uthmani, Omair
    Fan, Lu
    Lo, Owen
    COMPUTERS & SECURITY, 2012, 31 (02) : 253 - 270
  • [34] A Formal General Framework of Internet Address Mechanisms
    Zhu L.
    Xu K.
    Xu L.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2017, 54 (05): : 940 - 951
  • [35] FORMAL SECURITY PROOF FOR A SCHEME ON A TOPOLOGICAL NETWORK
    Civino, Roberto
    Longo, Riccardo
    ADVANCES IN MATHEMATICS OF COMMUNICATIONS, 2021, : 562 - 571
  • [36] Network information content security: A framework for intelligent analysis and monitoring
    Zhao, YP
    Zhao, JZ
    Xu, RS
    2005 INTERNATIONAL CONFERENCE ON SERVICES SYSTEMS AND SERVICES MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2005, : 841 - 843
  • [37] Formal security analysis for software architecture design: An expressive framework to emerging architectural styles
    Chondamrongkul, Nacha
    Sun, Jing
    Warren, Ian
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 206 (206)
  • [38] 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
  • [39] A framework for ensuring network security
    McGee, AR
    Vasireddy, SR
    Xie, C
    Picklesimer, DD
    Chandrashekhar, U
    Richman, SH
    JOURNAL OF THE COMMUNICATIONS NETWORK, 2004, 3 : 166 - 177
  • [40] A fundamental framework for network security
    Networking Distributed Algorithms L., Dept. of Comp. Sci. and Engineering, Arizona State University, Tempe, AZ 85287, United States
    不详
    不详
    J Network Comput Appl, 3 (305-322):