Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d’un Système

Wissam Mallouli; Amel Mammar; Ana Cavalli

Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d’un Système

Wissam Mallouli
, Amel Mammar
, Ana Cavalli

Montimage
CNRS SAMOVAR UMR 5157

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Résumé

In this paper, we propose a formal approach for a joint modelling of functional and security aspects of a system. This approach consists in enriching the functional specification of a system, expressed with a TEFSM (Timed Extended Finite State Machine), with timed security rules modelled in Nomad. Nomad is a formal language suitable for expressing security properties such as permissions, prohibitions and obligations. The overall obtained security model can be used for several purposes such as code generation, system testing, verification (model checking), etc. To demonstrate the feasibility of our approach, we experienced it on several distributed applications.

Titre traduit de la contribution	Consideration of temporary security rules in a TEFSM specification of a system
langue originale	Français
état	Publié - 1 janv. 2009
Modification externe	Oui
Evénement	2009 Francophone Symposium on Protocol Engineering, CFIP 2009 - 2009 French-Speaking Conference on Protocol Engineering, CFIP 2009 - Strasbourg, France Durée: 12 oct. 2009 → 15 oct. 2009

Une conférence

Une conférence	2009 Francophone Symposium on Protocol Engineering, CFIP 2009 - 2009 French-Speaking Conference on Protocol Engineering, CFIP 2009
Pays/Territoire	France
La ville	Strasbourg
période	12/10/09 → 15/10/09

mots-clés

Nomad language
TEFSM models
Timed security rules

Contient cette citation

@conference{5ead420d6c8e40d8b7e2f56527b981ba,

title = "Prise en Compte de R{\`e}gles de S{\'e}curit{\'e} Temporelles dans une Sp{\'e}cification TEFSM d{\textquoteright}un Syst{\`e}me",

abstract = "In this paper, we propose a formal approach for a joint modelling of functional and security aspects of a system. This approach consists in enriching the functional specification of a system, expressed with a TEFSM (Timed Extended Finite State Machine), with timed security rules modelled in Nomad. Nomad is a formal language suitable for expressing security properties such as permissions, prohibitions and obligations. The overall obtained security model can be used for several purposes such as code generation, system testing, verification (model checking), etc. To demonstrate the feasibility of our approach, we experienced it on several distributed applications.",

keywords = "Nomad language, TEFSM models, Timed security rules",

author = "Wissam Mallouli and Amel Mammar and Ana Cavalli",

note = "Publisher Copyright: {\textcopyright} CFIP 2009 .All right reserved.; 2009 Francophone Symposium on Protocol Engineering, CFIP 2009 - 2009 French-Speaking Conference on Protocol Engineering, CFIP 2009 ; Conference date: 12-10-2009 Through 15-10-2009",

year = "2009",

month = jan,

day = "1",

language = "Fran{\c c}ais",

}

Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d’un Système. / Mallouli, Wissam; Mammar, Amel; Cavalli, Ana.
2009. Papier présenté � 2009 Francophone Symposium on Protocol Engineering, CFIP 2009 - 2009 French-Speaking Conference on Protocol Engineering, CFIP 2009, Strasbourg, France.

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

TY - CONF

T1 - Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d’un Système

AU - Mallouli, Wissam

AU - Mammar, Amel

AU - Cavalli, Ana

PY - 2009/1/1

Y1 - 2009/1/1

N2 - In this paper, we propose a formal approach for a joint modelling of functional and security aspects of a system. This approach consists in enriching the functional specification of a system, expressed with a TEFSM (Timed Extended Finite State Machine), with timed security rules modelled in Nomad. Nomad is a formal language suitable for expressing security properties such as permissions, prohibitions and obligations. The overall obtained security model can be used for several purposes such as code generation, system testing, verification (model checking), etc. To demonstrate the feasibility of our approach, we experienced it on several distributed applications.

AB - In this paper, we propose a formal approach for a joint modelling of functional and security aspects of a system. This approach consists in enriching the functional specification of a system, expressed with a TEFSM (Timed Extended Finite State Machine), with timed security rules modelled in Nomad. Nomad is a formal language suitable for expressing security properties such as permissions, prohibitions and obligations. The overall obtained security model can be used for several purposes such as code generation, system testing, verification (model checking), etc. To demonstrate the feasibility of our approach, we experienced it on several distributed applications.

KW - Nomad language

KW - TEFSM models

KW - Timed security rules

M3 - Papier

AN - SCOPUS:85095432722

T2 - 2009 Francophone Symposium on Protocol Engineering, CFIP 2009 - 2009 French-Speaking Conference on Protocol Engineering, CFIP 2009

Y2 - 12 October 2009 through 15 October 2009

ER -

Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d’un Système

Résumé

Une conférence

mots-clés

Empreinte digitale

Contient cette citation