Formal verification of security model using SPR tool

被引：0
|
作者：
Kim, Il-Gon [1 ]
Kang, Miyoung
Choi, Jin-Young
Zegzhda, Peter D.
Kalinin, Maxim O.
Zegzhda, Dmitry P.
Kang, Inhye
机构：
[1] Korea Univ, Seoul 136701, South Korea
[2] St Petersburgh Polytech Univ, St Petersburg, Russia
[3] Univ Seoul, Seoul, South Korea
来源：
COMPUTING AND INFORMATICS | 2006年 / 25卷 / 05期
关键词：
SPR (Safety Problem Resolver); SEW (Security Evaluation Workshop); SPSL (Safety Problem Specification Language);
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes it possible to analyze security issues oil security systems based on the access control model. To illustrate this approach, a case study of the Simple Access Control Model (SACM) is used and specific safety problems of the security model are analyzed using the SPR tool.
引用
收藏
页码：353 / 368
页数：16
相关论文
共 50 条
  • [21] Tool Support for Live Formal Verification
    Aravantinos, Vincent
    Kanav, Sudeep
    2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 145 - 155
  • [22] Formal Verification of Business Processes using Model Checking
    Stoica, Florin
    INNOVATION MANAGEMENT AND EDUCATION EXCELLENCE VISION 2020: FROM REGIONAL DEVELOPMENT SUSTAINABILITY TO GLOBAL ECONOMIC GROWTH, VOLS I - VI, 2016, : 2563 - 2575
  • [23] A graphical tool for formal verification using Event-B modeling
    Karmakar, Rahul
    MULTIMEDIA TOOLS AND APPLICATIONS, 2024, 83 (04) : 10899 - 10923
  • [24] A graphical tool for formal verification using Event-B modeling
    Rahul Karmakar
    Multimedia Tools and Applications, 2024, 83 : 10899 - 10923
  • [25] C-language verification tool using formal methods "VARVEL"
    Tokuoka, Hiroki
    Miyazaki, Yoshiaki
    Hashimoto, Yuusuke
    NEC TECHNICAL JOURNAL, 2007, 2 (02): : 34 - 37
  • [26] Formal Verification of Security Protocols: ProVerif and Extensions
    Yao, Jiangyuan
    Xu, Chunxiang
    Li, Deshun
    Lin, Shengjun
    Cao, Xingcan
    ARTIFICIAL INTELLIGENCE AND SECURITY, ICAIS 2022, PT II, 2022, 13339 : 500 - 512
  • [27] Formal Verification of the Security for Dual Connectivity in LTE
    Ben Henda, Noomene
    Norrman, Karl
    Pfeffer, Katharina
    2015 IEEE/ACM 3RD FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING, 2015, : 13 - 19
  • [28] Formal Verification of Security Specifications with Common Criteria
    Morimoto, Shoichi
    Shigematsu, Shinjiro
    Goto, Yuichi
    Cheng, Jingde
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1506 - +
  • [29] Formal Security Verification of Industry 4.0 Applications
    Nigam, Vivek
    Talcott, Carolyn
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 1043 - 1050
  • [30] Formal verification logic for hybrid security protocols
    Newe, T
    Coffey, T
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2003, 18 (01): : 17 - 25
12345