Modeling system security rules with time constraints using timed extended finite state machines - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Modeling system security rules with time constraints using timed extended finite state machines

Résumé

Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk.In this paper, we propose a framework to take timed security requirements into account from the design stage of the system building. Our approach consists of two main steps.First, the system behavior is specified based on its functional requirements using TEFSM (Timed Extended Finite StateMachine) formalism. Second, this model is augmented by applying a set of dedicated algorithms to integrate timed security properties specified in Nomad language. Nomad is a formal language well adapted to express timed security properties with timed constraints. We also briefly present a France Telecom1 Travel system as a case study to demonstrate the reliability of our framework
Fichier non déposé

Dates et versions

hal-01380237 , version 1 (12-10-2016)

Identifiants

Citer

Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. Modeling system security rules with time constraints using timed extended finite state machines. DS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩. ⟨hal-01380237⟩
49 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More