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

Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki

doi:10.5220/0006267105290535

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 proceeding › Conference 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 language	English
Title of host publication	MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Editors	Luis Ferreira Pires, Slimane Hammoudi, Bran Selic
Publisher	SciTePress
Pages	529-535
Number of pages	7
ISBN (Electronic)	9789897582103
DOIs	https://doi.org/10.5220/0006267105290535
Publication status	Published - 2017
Event	5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 - Porto, Portugal Duration: 2017 Feb 19 → 2017 Feb 21

Publication series

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

Other

Other	5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017
Country/Territory	Portugal
City	Porto
Period	17/2/19 → 17/2/21

Keywords

Model Checking
Reverse Engineering
Security Requirements
Source Code Verification
UML

ASJC Scopus subject areas

Software

Access to Document

10.5220/0006267105290535

Cite this

Matsuura, S., Ogata, S., & Aoki, Y. (2017). Security requirements verification for existing systems with model checking technique and UML. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (pp. 529-535). (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development; Vol. 2017-January). SciTePress. https://doi.org/10.5220/0006267105290535

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. ed. / Luis Ferreira Pires; Slimane Hammoudi; Bran Selic. SciTePress, 2017. p. 529-535 (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development; Vol. 2017-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Matsuura, S, Ogata, S & Aoki, Y 2017, Security requirements verification for existing systems with model checking technique and UML. in LF Pires, S Hammoudi & B Selic (eds), MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. 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. https://doi.org/10.5220/0006267105290535

Matsuura S, Ogata S, Aoki Y. Security requirements verification for existing systems with model checking technique and UML. In Pires LF, Hammoudi S, Selic B, editors, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. SciTePress. 2017. p. 529-535. (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development). doi: 10.5220/0006267105290535

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. editor / Luis Ferreira Pires ; Slimane Hammoudi ; Bran Selic. SciTePress, 2017. pp. 529-535 (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development).

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

note = "Publisher Copyright: Copyright {\textcopyright} 2017 by SCITEPRESS-Science and Technology Publications, Lda. All rights reserved.; 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 ; Conference date: 19-02-2017 Through 21-02-2017",

year = "2017",

doi = "10.5220/0006267105290535",

language = "English",

series = "MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development",

publisher = "SciTePress",

pages = "529--535",

editor = "Pires, {Luis Ferreira} and Slimane Hammoudi and Bran Selic",

booktitle = "MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development",

}

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

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 -

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

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this