Tracking Dependent Information Flows

Zeineb Zhioua, Yves Roudier, Rabéa Ameur Boulifa, Takoua Kechiche, Stuart Short

2017

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.

Paper Citation

in Harvard Style

Zhioua Z., Roudier Y., Ameur Boulifa R., Kechiche T. and Short S. (2017). Tracking Dependent Information Flows . In Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ICISSP, ISBN 978-989-758-209-7, pages 179-189. DOI: 10.5220/0006209301790189

in Bibtex Style

@conference{icissp17,
author={Zeineb Zhioua and Yves Roudier and Rabéa Ameur Boulifa and Takoua Kechiche and Stuart Short},
title={Tracking Dependent Information Flows},
booktitle={Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,},
year={2017},
pages={179-189},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006209301790189},
isbn={978-989-758-209-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,
TI - Tracking Dependent Information Flows
SN - 978-989-758-209-7
AU - Zhioua Z.
AU - Roudier Y.
AU - Ameur Boulifa R.
AU - Kechiche T.
AU - Short S.
PY - 2017
SP - 179
EP - 189
DO - 10.5220/0006209301790189