Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00493635
Contributor : Franck Cassez <>
Submitted on : Monday, June 21, 2010 - 4:34:04 AM
Last modification on : Monday, June 21, 2010 - 8:29:53 AM
Long-term archiving on: : Monday, October 22, 2012 - 12:31:33 PM

File

isa-09.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00493635, version 1

Citation

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⟩

Share

Metrics

Record views

104

Files downloads

281