loading
Papers

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

ISBN: 978-989-8425-06-5

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.

PDF ImageFull Text

Download
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 18.232.55.175

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.; St-Denis R. and (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, 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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.