Security software formal modeling and verification method based on UML and Z

被引：0
|
作者：
机构：
[1] Cao, Kunyu
[2] Li, Xiaohong
[3] Xing, Jinliang
来源：
Cao, K. (kunyucao@tju.edu.cn) | 1600年 / Springer Verlag卷 / 332期
关键词：
D O I：
10.1007/978-3-642-34447-3_35
中图分类号：
学科分类号：
摘要：
15
引用
收藏
相关论文
共 50 条
  • [41] ARMISTICE: Microarchitectural Leakage Modeling for Masked Software Formal Verification
    de Grandmaison, Arnaud
    Heydemann, Karine
    Meunier, Quentin L.
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 3733 - 3744
  • [42] Research on modeling software architecture based on UML
    Deng, Y.
    Ding, F.
    Shen, J.Y.
    [J]. 2001, Shenyang Institute of Computing Technology (22):
  • [43] A formal component model for UML based on CSP aiming at compositional verification
    Falcao, Flavia
    Lima, Lucas
    Sampaio, Augusto
    Antonino, Pedro
    [J]. SOFTWARE AND SYSTEMS MODELING, 2024, 23 (03): : 765 - 798
  • [44] A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams
    Liu, Hezhen
    Yin, Jiacheng
    Huang, Chengqiang
    Lan, Hao
    Jin, Zhi
    Zheng, Zheng
    Zhang, Xun
    [J]. 2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2023, : 45 - 50
  • [45] Constraint-based software specifications and verification using UML
    Fan, Chin-Feng
    Cheng, Chun-Yin
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (06) : 1914 - 1922
  • [46] A Formal Verification Tool for UML Behavioral Diagrams
    Rebelo dos Santos, Luciana Brasil
    Eras, Eduardo Rohde
    de Santiago Junior, Valdivino Alexandre
    Vijaykumar, Nandamudi Lankalapalli
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711
  • [47] Generic Methodology for Formal Verification of UML Models
    Kochaleema, K. H.
    Kumar, G. Santhosh
    [J]. DEFENCE SCIENCE JOURNAL, 2022, 72 (01) : 40 - 48
  • [48] Formal verification of UML 2.0 Sequence diagram
    Park, Sachoun
    Han, Taeman
    Kwon, Gihwon
    [J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 411 - 416
  • [49] UML Automatic Verification Tool with Formal Methods
    Beato, Ma Encarnacion
    Barrio-Solorzano, Manuel
    Cuesta, Carlos E.
    de la Fuente, Pablo
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (04) : 3 - 16
  • [50] Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample
    Seyed Morteza Babamir
    Mehdi Borhani
    [J]. Journal of Medical Systems, 2012, 36 : 2633 - 2648
12345