UML based security function policy verification method for requirements specification

Atsushi Noro, Saeko Matsuura

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
PublisherIEEE Computer Society
Pages832-833
Number of pages2
ISBN (Print)9780769549866
DOIs
Publication statusPublished - 2013 Jan 1
Event2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013 - Kyoto, Japan
Duration: 2013 Jul 222013 Jul 26

Publication series

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

Conference

Conference2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
CountryJapan
CityKyoto
Period13/7/2213/7/26

Keywords

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

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

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