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.
Type de document :
Communication dans un congrès
Proc. of the 3rd International Conference on Information Security and Assurance (ISA'09), Jun 2009, Seoul, Korea, South Korea. Springer, 5576, pp.21--30, 2009
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00493635
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:34:04
Dernière modification le : lundi 21 juin 2010 - 08:29:53
Document(s) archivé(s) le : lundi 22 octobre 2012 - 12:31:33

Fichier

isa-09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Springer, 5576, pp.21--30, 2009. 〈inria-00493635〉

Partager

Métriques

Consultations de la notice

68

Téléchargements de fichiers

72