@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",
}