Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Dépernet, Sarah"'
In 2009, Franck Cassez showed that the timed opacity problem, where an attacker can observe some actions with their timestamps and attempts to deduce information, is undecidable for timed automata (TAs). Moreover, he showed that the undecidability ho
Externí odkaz:
http://arxiv.org/abs/2408.12240
