VERIFICATION OF SCENARIOS USING THE COMMON CRITERIA

Atsushi Ohnishi, Hiroya Itoga

2008

Abstract

Software is required to comply with the laws and standards of software security. However, stakeholders with less concern regarding security can neither describe the behaviour of the system with regard to security nor validate the system’s behaviour when the security function conflicts with usability. Scenarios or use-case specifications are common in requirements elicitation and are useful to analyze the usability of the system from a behavioural point of view. In this paper, the authors propose both (1) a scenario language based on a simple case grammar and (2) a method to verify a scenario with rules based on security evaluation criteria.

Paper Citation

in Harvard Style

Ohnishi A. and Itoga H. (2008). VERIFICATION OF SCENARIOS USING THE COMMON CRITERIA . In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-52-4, pages 5-11. DOI: 10.5220/0001873900050011

in Bibtex Style

@conference{icsoft08,
author={Atsushi Ohnishi and Hiroya Itoga},
title={VERIFICATION OF SCENARIOS USING THE COMMON CRITERIA},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2008},
pages={5-11},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001873900050011},
isbn={978-989-8111-52-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - VERIFICATION OF SCENARIOS USING THE COMMON CRITERIA
SN - 978-989-8111-52-4
AU - Ohnishi A.
AU - Itoga H.
PY - 2008
SP - 5
EP - 11
DO - 10.5220/0001873900050011