UML based Security Function Policy Verification Method for Requirements Specification

被引：1

作者：

Noro, Atsushi ^{[1
]}

Matsuura, Saeko ^{[1
]}

机构：

[1] Shibaura Inst Technol, Grad Sch Engn, Div Elect Engn & Comp Sci, Minuma Ku, Saitama 3378570, Japan

来源：

2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2013年

关键词：

Commmon Criteria; Model Checking; Security; Requirements; Verification; UML;

D O I：

10.1109/COMPSAC.2013.141

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

One key to success for high quality systems developments is to verify not only functional requirements but also the security requirements at the early stage of developments. However, it is difficult for general developers who have only less security knowledge to define verifiable requirements specification without leakages and errors. To reduce these some leakages or errors, this paper proposes a UML- based security requirements verification method using the security knowledge of Common Criteria.

引用

页码：832 / 833

页数：2

共 50 条

[11] Security Requirements Specification: A Formal Method Perspective
Mishra, Aditya Dev
Mustafa, K.
PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117
[12] Security Requirements Verification for Existing Systems with Model Checking Technique and UML
Matsuura, Saeko
Ogata, Shinpei
Aoki, Yoshitaka
MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 529 - 535
[13] UML safety requirement specification and verification
Haenle, A.
Haering, I.
SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, 2009, : 1555 - 1563
[14] An Automatic Generation and Verification Method of Software Requirements Specification
Wei, Xiaoyang
Wang, Zhengdi
Yang, Shuangyuan
ELECTRONICS, 2023, 12 (12)
[15] A formal requirements engineering method for specification, synthesis, and verification
vonderBeeck, M
Margaria, T
Steffen, B
8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 131 - 144
[16] A UML-based Proposal for IoT System Requirements Specification
Reggio, Gianna
2018 IEEE/ACM 10TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE), 2018, : 9 - 16
[17] Requirements capture and specification for enterprise applications: a UML based attempt
Choppy, Christine
Reggio, Gianna
2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 19 - +
[18] Specification and verification of security requirements in a programming model for decentralized CSCW systems
Ahmed, Tanvir
Tripathi, Anand R.
ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2007, 10 (02)
[19] Security specification and verification
Fenkam, P
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 434 - 434
[20] A UML-based static verification framework for security
Igor Siveroni
Andrea Zisman
George Spanoudakis
Requirements Engineering, 2010, 15 : 95 - 118

← 1 2 3 4 5 →