loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Michel Embe Jiague 1 ; Marc Frappier 2 ; Frédéric Gervais 3 ; Pierre Konopacki 1 ; Régine Laleau 3 ; Jérémy Milhau 1 and Richard St-Denis 2

Affiliations: 1 Université de Sherbrooke and Université Paris-Est, Canada ; 2 Université de Sherbrooke, Canada ; 3 Université Paris-Est, France

Keyword(s): Information system, Security policy, Access control, Formal method, Model checking, Process algebra, ASTD.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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:
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 (ICETE 2011) - MPEIS; ISBN 978-989-8425-71-3; ISSN 2184-3236, SciTePress, pages 464-471. DOI: 10.5220/0003619604640471

@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 (ICETE 2011) - MPEIS},
year={2011},
pages={464-471},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003619604640471},
isbn={978-989-8425-71-3},
issn={2184-3236},
}

TY - CONF

JO - Proceedings of the International Conference on Security and Cryptography (ICETE 2011) - MPEIS
TI - A FOUR-CONCERN-ORIENTED SECURE IS DEVELOPMENT APPROACH
SN - 978-989-8425-71-3
IS - 2184-3236
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic