Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines

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

Full description

Saved in:
Bibliographic Details
Main Authors: Mallouli, W., Mammar, A., Cavalli, A.R.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Buildings
Clocks
Context
Formal languages
Real time systems
Security
Systems engineering and theory
Telecommunications
Time factors
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 State Machine) 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 Telecom Travel system as a case study to demonstrate the reliability of our framework.
ISSN:1550-6525
DOI:10.1109/DS-RT.2008.22