@inproceedings{6c1ec986c78943a6968de3af09797269,
title = "Tracking dependent information flows",
abstract = "Ensuring the compliance of developed software with security requirements is a challenging task due to imprecision on the security guidelines definition, and 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 life cycle by combining the model checking together with information flow analysis. We formally specify security guidelines that involve dependent information flows as a basis to lead formal verification through model checking, and provide precise feedback to the developer.",
keywords = "Formal Specification, Information Flow Analysis, Labeled Transition System, Model Checking, Program Dependence Graph, Security Guidelines",
author = "Zeineb Zhioua and Yves Roudier and Ameur, \{Rabea Boulifa\} and Takoua Kechiche and Stuart Short",
note = "Publisher Copyright: Copyright {\textcopyright} 2017 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.; 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017 ; Conference date: 19-02-2017 Through 21-02-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.5220/0006209301790189",
language = "English",
series = "ICISSP 2017 - Proceedings of the 3rd International Conference on Information Systems Security and Privacy",
publisher = "SciTePress",
pages = "179--189",
editor = "Paolo Mori and Steven Furnell and Olivier Camp",
booktitle = "ICISSP 2017 - Proceedings of the 3rd International Conference on Information Systems Security and Privacy",
}