A Model Driven Method for Multilevel Security Systems Design

被引：0
|
作者：
Zielinski, Zbigniew [1 ]
Stasiak, Andrzej [1 ]
Dabrowski, Wlodzimierz [2 ,3 ]
机构：
[1] Mil Univ Technol, PL-00908 Warsaw, Poland
[2] Warsaw Inst Technol, ISEP, Warsaw, Poland
[3] Polish Japanese Inst Informat Technol, PL-00662 Warsaw, Poland
来源：
PRZEGLAD ELEKTROTECHNICZNY | 2012年 / 88卷 / 02期
关键词：
multilevel security systems; system modeling; UML models simulation; configuration topology;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The article presents the application of methods of simulation of UML models for analysis and designing specialized computer systems, processing data with multilevel security. The integration of security models with models of system described in UML enables their simulation, which allows identifying security problems at the stage of modeling. By using UML extensions and ALF language it is possible to build a topological model and perform efficient simulations of topological models. The authors used an IBM simulator for simulation.
引用
收藏
页码：120 / 125
页数：6
相关论文
共 50 条
  • [1] A Model Driven Method to Design Educational Cyber Physical Systems
    Bachir, Samia
    Gallon, Laurent
    Aniorte, Philippe
    Abenia, Angel
    [J]. PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 125 - 134
  • [2] A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems
    El Hachem, Jamal
    Al Khalil, Tarek
    Chiprianov, Vanea
    Babar, Ali
    Aniorte, Philippe
    [J]. 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 166 - 169
  • [3] MODEL-DRIVEN SECURITY FOR TRUSTED SYSTEMS
    Alam, Masoom
    Khan, Shahbaz
    Alam, Quratulain
    Ali, Tamleek
    Anwar, Sajid
    Hayat, Amir
    Jaffar, Arfan
    Ali, Muhammad
    Adnan, Awais
    [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2012, 8 (02): : 1221 - 1235
  • [4] A design of an access control model for multilevel-security documents
    Alhammouri, Mohammad
    Muftic, Sead
    [J]. 10TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS I-III: INNOVATIONS TOWARD FUTURE NETWORKS AND SERVICES, 2008, : 1476 - +
  • [5] Research on multilevel security model for information systems classified protection
    Gao, Chao-Qin
    Xiao, Chuang-Bai
    Gao, Yun-Xiang
    Xu, Xiao
    [J]. Tongxin Xuebao/Journal on Communications, 2011, 32 (11 A): : 119 - 124
  • [6] Security Driven Design Space Exploration for Embedded Systems
    Gressl, Lukas
    Steger, Christian
    Neffe, Ulrich
    [J]. PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
  • [7] Model Driven Software Security Architecture of Systems-of-Systems
    El Hachem, Jamal
    Pang, Zi Yang
    Chiprianov, Vanea
    Babar, Ali
    Aniorte, Philippe
    [J]. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 89 - 96
  • [8] Extending SysML Model Federation to Support Systems of Systems Multilevel Security Development
    Swickline, Chris
    [J]. INCOSE International Symposium, 2024, 34 (01) : 408 - 424
  • [9] Model driven security framework for software design and verification
    Deveci, Engin
    Caglayan, Mehmet U.
    [J]. SECURITY AND COMMUNICATION NETWORKS, 2015, 8 (16) : 2768 - 2792
  • [10] Safety and security-driven design of networked embedded systems
    Sveda, Miroslav
    Trchalik, Roman
    [J]. DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 420 - 423
12345