loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

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

Keyword(s): Security model, Security policy, Specification, Verification, Process algebra, Hierarchical state transition diagram, EB3SEC, EB3, MDA, SOA, BPEL.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Formal Methods ; Information Systems Analysis and Specification ; Methodologies and Technologies ; Modeling Formalisms, Languages and Notations ; Operational Research ; Security ; Simulation and Modeling

Abstract: This paper describes an ongoing project on the specification and automatic implementation of functional security policies. We advocate a clear separation between functional behavior and functional security requirements. We propose a formal language to specify functional security policies. We are developing techniques by which a formal functional security policy can be automatically implemented. Hence, our approach is highly inspired from model-driven engineering. Furthermore, our formal language will enabled us to use model checking techniques to verify that a security policy satisfies desired properties.

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

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. (2010). MODEL-DRIVEN ENGINEERING OF FUNCTIONAL SECURITY POLICIES. In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-8425-06-5; ISSN 2184-4992, SciTePress, pages 374-379. DOI: 10.5220/0003019403740379

@conference{iceis10,
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={MODEL-DRIVEN ENGINEERING OF FUNCTIONAL SECURITY POLICIES},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2010},
pages={374-379},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003019403740379},
isbn={978-989-8425-06-5},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - MODEL-DRIVEN ENGINEERING OF FUNCTIONAL SECURITY POLICIES
SN - 978-989-8425-06-5
IS - 2184-4992
AU - Embe Jiague, M.
AU - Frappier, M.
AU - Gervais, F.
AU - Konopacki, P.
AU - Laleau, R.
AU - Milhau, J.
AU - St-Denis, R.
PY - 2010
SP - 374
EP - 379
DO - 10.5220/0003019403740379
PB - SciTePress