TY - GEN
T1 - Security requirements verification for existing systems with model checking technique and UML
AU - Matsuura, Saeko
AU - Ogata, Shinpei
AU - Aoki, Yoshitaka
N1 - Publisher Copyright:
Copyright © 2017 by SCITEPRESS-Science and Technology Publications, Lda. All rights reserved.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Model Checking
KW - Reverse Engineering
KW - Security Requirements
KW - Source Code Verification
KW - UML
UR - http://www.scopus.com/inward/record.url?scp=85046645149&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85046645149&partnerID=8YFLogxK
U2 - 10.5220/0006267105290535
DO - 10.5220/0006267105290535
M3 - Conference contribution
AN - SCOPUS:85046645149
T3 - MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
SP - 529
EP - 535
BT - MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
A2 - Pires, Luis Ferreira
A2 - Hammoudi, Slimane
A2 - Selic, Bran
PB - SciTePress
T2 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017
Y2 - 19 February 2017 through 21 February 2017
ER -