The Dark Side of Timed Opacity - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

The Dark Side of Timed Opacity

Abstract

In this paper we extend the notion of opacity, defined for discrete-event systems, to dense-time systems. We define the timed opacity problem for timed automata and study its algorithmic status. We show that for the very restrictive class of Event Recording Timed Automata, the opacity problem is already undecidable leaving no hope for an algorithmic solution to the opacity problem in dense-time.
Fichier principal
Vignette du fichier
isa-09.pdf (158.3 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00493635 , version 1 (21-06-2010)

Identifiers

  • HAL Id : inria-00493635 , version 1

Cite

Franck Cassez. The Dark Side of Timed Opacity. Proc. of the 3rd International Conference on Information Security and Assurance (ISA'09), Jun 2009, Seoul, Korea, South Korea. pp.21--30. ⟨inria-00493635⟩
55 View
349 Download

Share

Gmail Facebook X LinkedIn More