@inproceedings{054868f4b804477ca95afcb52bb24a1f,
title = "Formal specification and verification of security guidelines",
abstract = "Ensuring the compliance of developed software with general and application-specific security requirements is a challenging task due to the lack of automatic and formal means to lead this verification. In this paper, we present our approach that aims at integrating the formal specification and verification of security guidelines in early stages of the development lifecycle by combining the model checking together with information flow analysis. We present our framework that is based on an extension of LTS (Labeled Transition Systems) by data dependence information to cover the end-to-end specification and verification of security guidelines.",
keywords = "Formal specification, Information Flow Analysis, Model Checking, Program Dependence Graph, Security Guidelines",
author = "Zeineb Zhioua and Yves Roudier and Ameur, \{Rabea Boulifa\}",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017 ; Conference date: 22-01-2017 Through 25-01-2017",
year = "2017",
month = may,
day = "5",
doi = "10.1109/PRDC.2017.51",
language = "English",
series = "Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC",
publisher = "IEEE Computer Society",
pages = "267--273",
editor = "Masato Kitakami and Kim, \{Dong Seong\} and Vijay Varadharajan",
booktitle = "Proceedings - 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing, PRDC 2017",
}