Tracking Dependent Information Flows

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

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Tracking Dependent Information Flows

Topics: Data and Software Security; Security Awareness and Education; Software Security Assurance

In Proceedings of the 3rd International Conference on Information Systems Security and Privacy ICISSP - Volume 1, 179-189, 2017 , Porto, Portugal

Authors: Zeineb Zhioua ¹ ; Yves Roudier ² ; Rabéa Ameur Boulifa ³ ; Takoua Kechiche ⁴ and Stuart Short ⁴

Affiliations: ¹ SAP Labs France/EURECOM, France ; ² Universite de Nice Sophia Antipolis, France ; ³ Telecom ParisTech, France ; ⁴ SAP Labs France, France

Keyword(s): Security Guidelines, Formal Specification, Model Checking, Information Flow Analysis, Program Dependence Graph, Labeled Transition System.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.144.251.72

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 - ICISSP; ISBN 978-989-758-209-7; ISSN 2184-4356, SciTePress, pages 179-189. DOI: 10.5220/0006209301790189

@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 - ICISSP},
year={2017},
pages={179-189},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006209301790189},
isbn={978-989-758-209-7},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Information Systems Security and Privacy - ICISSP
TI - Tracking Dependent Information Flows
SN - 978-989-758-209-7
IS - 2184-4356
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
PB - SciTePress