The dark side of timed opacity

Franck Cassez

doi:10.1007/978-3-642-02617-1_3

The dark side of timed opacity

Franck Cassez^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

25 Citations (Scopus)

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.

Original language	English
Title of host publication	Advances in information security and assurance
Subtitle of host publication	Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings
Editors	Jong Hyuk Park, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Changhoon Lee, Tai-hoon Kim, Sang-Soo Yeo
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	21-30
Number of pages	10
ISBN (Print)	3642026168, 9783642026164
DOIs	https://doi.org/10.1007/978-3-642-02617-1_3
Publication status	Published - 2009
Externally published	Yes
Event	3rd International Conference on Information Security and Assurance, ISA 2009 - Seoul, Korea, Republic of Duration: 25 Jun 2009 → 27 Jun 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5576 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	3rd International Conference on Information Security and Assurance, ISA 2009
Country	Korea, Republic of
City	Seoul
Period	25/06/09 → 27/06/09

Access to Document

10.1007/978-3-642-02617-1_3

Link to publication in Scopus

Cite this

Cassez, F. (2009). The dark side of timed opacity. In J. H. Park, H-H. Chen, M. Atiquzzaman, C. Lee, T. Kim, & S-S. Yeo (Eds.), Advances in information security and assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings (pp. 21-30). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5576 LNCS). Springer, Springer Nature. https://doi.org/10.1007/978-3-642-02617-1_3

Cassez, Franck. / The dark side of timed opacity. Advances in information security and assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings. editor / Jong Hyuk Park ; Hsiao-Hwa Chen ; Mohammed Atiquzzaman ; Changhoon Lee ; Tai-hoon Kim ; Sang-Soo Yeo. Berlin : Springer, Springer Nature, 2009. pp. 21-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{62c2de11979f4f9ab75a6dcd07e8ff8c,

title = "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.",

author = "Franck Cassez",

year = "2009",

doi = "10.1007/978-3-642-02617-1_3",

language = "English",

isbn = "3642026168",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "21--30",

editor = "Park, {Jong Hyuk} and Hsiao-Hwa Chen and Mohammed Atiquzzaman and Changhoon Lee and Tai-hoon Kim and Sang-Soo Yeo",

booktitle = "Advances in information security and assurance",

address = "United States",

note = "3rd International Conference on Information Security and Assurance, ISA 2009 ; Conference date: 25-06-2009 Through 27-06-2009",

}

Cassez, F 2009, The dark side of timed opacity. in JH Park, H-H Chen, M Atiquzzaman, C Lee, T Kim & S-S Yeo (eds), Advances in information security and assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5576 LNCS, Springer, Springer Nature, Berlin, pp. 21-30, 3rd International Conference on Information Security and Assurance, ISA 2009, Seoul, Korea, Republic of, 25/06/09. https://doi.org/10.1007/978-3-642-02617-1_3

The dark side of timed opacity. / Cassez, Franck.

Advances in information security and assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings. ed. / Jong Hyuk Park; Hsiao-Hwa Chen; Mohammed Atiquzzaman; Changhoon Lee; Tai-hoon Kim; Sang-Soo Yeo. Berlin : Springer, Springer Nature, 2009. p. 21-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5576 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - The dark side of timed opacity

AU - Cassez, Franck

PY - 2009

Y1 - 2009

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

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

UR - http://www.scopus.com/inward/record.url?scp=70350624877&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-02617-1_3

DO - 10.1007/978-3-642-02617-1_3

M3 - Conference proceeding contribution

AN - SCOPUS:70350624877

SN - 3642026168

SN - 9783642026164

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 21

EP - 30

BT - Advances in information security and assurance

A2 - Park, Jong Hyuk

A2 - Chen, Hsiao-Hwa

A2 - Atiquzzaman, Mohammed

A2 - Lee, Changhoon

A2 - Kim, Tai-hoon

A2 - Yeo, Sang-Soo

PB - Springer, Springer Nature

CY - Berlin

T2 - 3rd International Conference on Information Security and Assurance, ISA 2009

Y2 - 25 June 2009 through 27 June 2009

ER -

Cassez F. The dark side of timed opacity. In Park JH, Chen H-H, Atiquzzaman M, Lee C, Kim T, Yeo S-S, editors, Advances in information security and assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings. Berlin: Springer, Springer Nature. 2009. p. 21-30. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-02617-1_3

The dark side of timed opacity

Abstract

Publication series

Other

Access to Document

Fingerprint

Cite this