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

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

研究成果: Conference contribution

抄録

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.

本文言語English
ホスト出版物のタイトルMODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
編集者Luis Ferreira Pires, Slimane Hammoudi, Bran Selic
出版社SciTePress
ページ529-535
ページ数7
ISBN(電子版)9789897582103
DOI
出版ステータスPublished - 2017
イベント5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 - Porto, Portugal
継続期間: 2017 2 192017 2 21

出版物シリーズ

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

Other

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

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「Security requirements verification for existing systems with model checking technique and UML」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル