@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",
}