A FOUR-CONCERN-ORIENTED SECURE IS DEVELOPMENT APPROACH

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis

2011

Abstract

In this paper, we advocate a strong separation of four aspects of information systems: data, dynamic behavior, security data and access control behavior. We describe how to model each of these aspects using formal methods. An abstract specification of each part of an information system is defined. The presented approach can be used when building a system from scratch but can also be applied to implement a security controller for an existing system. In parallel with models, properties of the system are written. These properties are checked against the system’s models to ensure they hold using model checking techniques.

Download


Paper Citation


in Harvard Style

Embe Jiague M., Frappier M., Gervais F., Konopacki P., Laleau R., Milhau J. and St-Denis R. (2011). A FOUR-CONCERN-ORIENTED SECURE IS DEVELOPMENT APPROACH . In Proceedings of the International Conference on Security and Cryptography - Volume 1: MPEIS, (ICETE 2011) ISBN 978-989-8425-71-3, pages 464-471. DOI: 10.5220/0003619604640471

in Bibtex Style

@conference{mpeis11,
author={Michel Embe Jiague and Marc Frappier and Frédéric Gervais and Pierre Konopacki and Régine Laleau and Jérémy Milhau and Richard St-Denis},
title={A FOUR-CONCERN-ORIENTED SECURE IS DEVELOPMENT APPROACH},
booktitle={Proceedings of the International Conference on Security and Cryptography - Volume 1: MPEIS, (ICETE 2011)},
year={2011},
pages={464-471},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003619604640471},
isbn={978-989-8425-71-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Security and Cryptography - Volume 1: MPEIS, (ICETE 2011)
TI - A FOUR-CONCERN-ORIENTED SECURE IS DEVELOPMENT APPROACH
SN - 978-989-8425-71-3
AU - Embe Jiague M.
AU - Frappier M.
AU - Gervais F.
AU - Konopacki P.
AU - Laleau R.
AU - Milhau J.
AU - St-Denis R.
PY - 2011
SP - 464
EP - 471
DO - 10.5220/0003619604640471