Security Requirements Verification for Existing Systems with Model Checking Technique and UML

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

2017

Abstract

In software development, when making migration or specification changes to an existing system, it is important to verify that the new source code meets the original specifications. We propose an effective use of model checking techniques and a supporting tool that allows non-specialized developers to easily verify specification conformance. In this study, we verify security requirements for an ongoing learning management system that has insufficient specification documentation and discuss the applications and challenges for developing the model checking technology.

Paper Citation

in Harvard Style

Matsuura S., Ogata S. and Aoki Y. (2017). Security Requirements Verification for Existing Systems with Model Checking Technique and UML . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 529-535. DOI: 10.5220/0006267105290535

in Bibtex Style

@conference{modelsward17,
author={Saeko Matsuura and Shinpei Ogata and Yoshitaka Aoki},
title={Security Requirements Verification for Existing Systems with Model Checking Technique and UML},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={529-535},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006267105290535},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Security Requirements Verification for Existing Systems with Model Checking Technique and UML
SN - 978-989-758-210-3
AU - Matsuura S.
AU - Ogata S.
AU - Aoki Y.
PY - 2017
SP - 529
EP - 535
DO - 10.5220/0006267105290535