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.
DownloadPaper 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