UML based security function policy verification method for requirements specification

Atsushi Noro; Saeko Matsuura

doi:10.1109/COMPSAC.2013.141

UML based security function policy verification method for requirements specification

Atsushi Noro, Saeko Matsuura

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
Publisher	IEEE Computer Society
Pages	832-833
Number of pages	2
ISBN (Print)	9780769549866
DOIs	https://doi.org/10.1109/COMPSAC.2013.141
Publication status	Published - 2013 Jan 1
Event	2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 - Kyoto, Japan Duration: 2013 Jul 22 → 2013 Jul 26

Publication series

Name	Proceedings - International Computer Software and Applications Conference
ISSN (Print)	0730-3157

Conference

Conference	2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
Country	Japan
City	Kyoto
Period	13/7/22 → 13/7/26

Keywords

Commmon Criteria
Model Checking
Security Requirements
UML
Verification

ASJC Scopus subject areas

Software
Computer Science Applications

Access to Document

10.1109/COMPSAC.2013.141

Fingerprint Dive into the research topics of 'UML based security function policy verification method for requirements specification'. Together they form a unique fingerprint.

Cite this

Noro, A., & Matsuura, S. (2013). UML based security function policy verification method for requirements specification. In Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 (pp. 832-833). [6649930] (Proceedings - International Computer Software and Applications Conference). IEEE Computer Society. https://doi.org/10.1109/COMPSAC.2013.141

UML based security function policy verification method for requirements specification. / Noro, Atsushi; Matsuura, Saeko.

Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, 2013. p. 832-833 6649930 (Proceedings - International Computer Software and Applications Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Noro, A & Matsuura, S 2013, UML based security function policy verification method for requirements specification. in Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013., 6649930, Proceedings - International Computer Software and Applications Conference, IEEE Computer Society, pp. 832-833, 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, 13/7/22. https://doi.org/10.1109/COMPSAC.2013.141

Noro A, Matsuura S. UML based security function policy verification method for requirements specification. In Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society. 2013. p. 832-833. 6649930. (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSAC.2013.141

@inproceedings{63709918c4594068b4141be6df4e24c5,

title = "UML based security function policy verification method for requirements specification",

abstract = "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.",

keywords = "Commmon Criteria, Model Checking, Security Requirements, UML, Verification",

author = "Atsushi Noro and Saeko Matsuura",

year = "2013",

month = jan,

day = "1",

doi = "10.1109/COMPSAC.2013.141",

language = "English",

isbn = "9780769549866",

series = "Proceedings - International Computer Software and Applications Conference",

publisher = "IEEE Computer Society",

pages = "832--833",

booktitle = "Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013",

note = "2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 ; Conference date: 22-07-2013 Through 26-07-2013",

}

TY - GEN

T1 - UML based security function policy verification method for requirements specification

AU - Noro, Atsushi

AU - Matsuura, Saeko

PY - 2013/1/1

Y1 - 2013/1/1

N2 - 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.

AB - 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.

KW - Commmon Criteria

KW - Model Checking

KW - Security Requirements

KW - UML

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84891283365&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84891283365&partnerID=8YFLogxK

U2 - 10.1109/COMPSAC.2013.141

DO - 10.1109/COMPSAC.2013.141

M3 - Conference contribution

AN - SCOPUS:84891283365

SN - 9780769549866

T3 - Proceedings - International Computer Software and Applications Conference

SP - 832

EP - 833

BT - Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013

PB - IEEE Computer Society

T2 - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013

Y2 - 22 July 2013 through 26 July 2013

ER -