@inproceedings{52977205361c443c8074524e9bb77d7e,
title = "Modeling system security rules with time constraints using timed extended finite state machines",
abstract = "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.",
keywords = "Nomad language, Security integration., Security rules, Timed EFSM model",
author = "Wissam Mallouli and Amel Mammar and Cavalli, \{Ana Rosa\}",
year = "2008",
month = dec,
day = "1",
doi = "10.1109/DS-RT.2008.22",
language = "English",
isbn = "9780769534251",
series = "Proceedings - 12th 2008 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2008",
pages = "173--180",
booktitle = "Proceedings - 12th 2008 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2008",
note = "12th 2008 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2008 ; Conference date: 27-10-2008 Through 29-10-2008",
}