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 - International Computer Software and Applications Conference
Pages832-833
Number of pages2
DOIs
Publication statusPublished - 2013
Event2013 IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013 - Boston, MA, United States
Duration: 2013 May 202013 May 24

Other

Other2013 IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013
CountryUnited States
CityBoston, MA
Period13/5/2013/5/24

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Cite this

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