Author:
Gardey Guillaume,Mullins John,Roux Olivier H.
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Characteristic formulae for timed automata;Aceto;RAIRO - Theoretical Informatics and Applications,2000
2. Altisen, K. and S. Tripakis, Tools for controller synthesis of timed systems, in: RT-TOOLS'02, 2002
3. A theory of timed automata;Alur;Theoretical Computer Science,1994
4. Backes, M. and B. Pfitzmann, Intransitive non-interference for cryptographic pusposes, in: Proc. of the IEEE Symp. on Security and Privacy, 140–152, 2003
5. A decidable notion of timed non-interference;Barbuti;Fundamenta Informaticae,2003
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata;Electronic Proceedings in Theoretical Computer Science;2023-10-31
2. Expiring opacity problems in parametric timed automata;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
3. Timed Non-interference Under Partial Observability and Bounded Memory;Lecture Notes in Computer Science;2023
4. Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice;ACM Computing Surveys;2022-12-07
5. strategFTO: Untimed Control for Timed Opacity;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29