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 条
  • [21] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    [J]. IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [22] Towards formal verification of UML diagrams based on graph transformation
    Zhao, Y
    Fan, YS
    Bai, XM
    Wang, Y
    Cai, H
    Ding, W
    [J]. PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY FOR DYNAMIC E-BUSINESS, 2004, : 180 - 187
  • [23] Scalable Formal Verification of UML Models
    Kallehbasti, Mohammad Mehdi Pourhashem
    [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 847 - 850
  • [24] Verification of UML-based security policy model
    Park, SC
    Kwon, G
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 3, 2005, 3482 : 973 - 982
  • [25] A UML-based static verification framework for security
    Siveroni, Igor
    Zisman, Andrea
    Spanoudakis, George
    [J]. REQUIREMENTS ENGINEERING, 2010, 15 (01) : 95 - 118
  • [26] A UML-based static verification framework for security
    Igor Siveroni
    Andrea Zisman
    George Spanoudakis
    [J]. Requirements Engineering, 2010, 15 : 95 - 118
  • [27] A UML-based environment for software testing and verification
    Dong, W
    Wang, J
    Li, LY
    Li, SH
    Chen, HY
    [J]. COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 76 - 81
  • [28] An improved method for formal security verification of cryptographic protocols
    Watanabe, H
    Fujiwara, T
    Kasami, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (07) : 1089 - 1096
  • [29] Formal approach to software testing process based on UML models
    Barisas, Dominykas
    Bareisa, Eduardas
    [J]. INFORMATION TECHNOLOGIES' 2008, PROCEEDINGS, 2008, : 195 - 199
  • [30] A new method for FMS modeling and formal verification
    Gang, X
    Wu, ZM
    [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 224 - 231
12345