Security requirements verification for existing systems with model checking technique and UML

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationMODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
PublisherSciTePress
Pages529-535
Number of pages7
Volume2017-January
ISBN (Electronic)9789897582103
Publication statusPublished - 2017 Jan 1
Event5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 - Porto, Portugal
Duration: 2017 Feb 192017 Feb 21

Other

Other5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017
CountryPortugal
CityPorto
Period17/2/1917/2/21

Fingerprint

Model checking
Specifications
Software engineering

Keywords

  • Model Checking
  • Reverse Engineering
  • Security Requirements
  • Source Code Verification
  • UML

ASJC Scopus subject areas

  • Software

Cite this

Matsuura, S., Ogata, S., & Aoki, Y. (2017). Security requirements verification for existing systems with model checking technique and UML. In MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 2017-January, pp. 529-535). SciTePress.

Security requirements verification for existing systems with model checking technique and UML. / Matsuura, Saeko; Ogata, Shinpei; Aoki, Yoshitaka.

MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Vol. 2017-January SciTePress, 2017. p. 529-535.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Matsuura, S, Ogata, S & Aoki, Y 2017, Security requirements verification for existing systems with model checking technique and UML. in MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. vol. 2017-January, SciTePress, pp. 529-535, 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, 17/2/19.
Matsuura S, Ogata S, Aoki Y. Security requirements verification for existing systems with model checking technique and UML. In MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Vol. 2017-January. SciTePress. 2017. p. 529-535
Matsuura, Saeko ; Ogata, Shinpei ; Aoki, Yoshitaka. / Security requirements verification for existing systems with model checking technique and UML. MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Vol. 2017-January SciTePress, 2017. pp. 529-535
@inproceedings{37fdf536dfe24676b4f33a9363efcd73,
title = "Security requirements verification for existing systems with model checking technique and UML",
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.",
keywords = "Model Checking, Reverse Engineering, Security Requirements, Source Code Verification, UML",
author = "Saeko Matsuura and Shinpei Ogata and Yoshitaka Aoki",
year = "2017",
month = "1",
day = "1",
language = "English",
volume = "2017-January",
pages = "529--535",
booktitle = "MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development",
publisher = "SciTePress",

}

TY - GEN

T1 - Security requirements verification for existing systems with model checking technique and UML

AU - Matsuura, Saeko

AU - Ogata, Shinpei

AU - Aoki, Yoshitaka

PY - 2017/1/1

Y1 - 2017/1/1

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

M3 - Conference contribution

VL - 2017-January

SP - 529

EP - 535

BT - MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development

PB - SciTePress

ER -