loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Miriam Zia ; Ernesto Posse and Hans Vangheluwe

Affiliation: School of Computer Science, McGill University, Canada

Keyword(s): Multi-formalism modelling, model transformation, verification, security requirements, e-health.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Requirements Analysis And Management

Abstract: Model-based approaches are increasingly used in all stages of complex systems design. In this paper, we use multi-formalism modelling and model transformation to address security requirements. Our methodology supports the verification of security properties using the model checker FDR2 on CSP (Communicating Sequential Processes) models. This low-level constraint checking is performed through model refinements, from a behavioural description of a system in the Statecharts formalism. The contribution of this paper lies in the combination of various formalisms and transformations between them. In particular, mapping Statecharts onto CSP models allows for combination of the deterministic system model with non-deterministic models of a system’s environment (including, for example, possible user attacks). The combination of system and environment models is used for model checking. To bridge the gap between these Statechart and CSP models, we introduce kiltera, an intermediate language th at defines the system in terms of interacting processes. kiltera allows for simulation, real-time execution, as well as translation into CSP models. An e-Health application is used to demonstrate our approach. (More)

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 54.163.14.144

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:
Zia, M.; Posse, E. and Vangheluwe, H. (2007). ADDRESSING SECURITY REQUIREMENTS THROUGH MULTI-FORMALISM MODELLING AND MODEL TRANSFORMATION. In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT; ISBN 978-989-8111-06-7; ISSN 2184-2833, SciTePress, pages 129-137. DOI: 10.5220/0001347201290137

@conference{icsoft07,
author={Miriam Zia. and Ernesto Posse. and Hans Vangheluwe.},
title={ADDRESSING SECURITY REQUIREMENTS THROUGH MULTI-FORMALISM MODELLING AND MODEL TRANSFORMATION},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT},
year={2007},
pages={129-137},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001347201290137},
isbn={978-989-8111-06-7},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT
TI - ADDRESSING SECURITY REQUIREMENTS THROUGH MULTI-FORMALISM MODELLING AND MODEL TRANSFORMATION
SN - 978-989-8111-06-7
IS - 2184-2833
AU - Zia, M.
AU - Posse, E.
AU - Vangheluwe, H.
PY - 2007
SP - 129
EP - 137
DO - 10.5220/0001347201290137
PB - SciTePress