Subject
General Computer Science,Theoretical Computer Science
Reference47 articles.
1. A process-algebraic approach for the analysis of probabilistic noninterference;Aldini;J. Comput. Secur.,2004
2. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
3. Transforming out timing leaks;Agat,2000
4. Synthesis of non-interferent timed systems;Benattar,2009
5. Control and synthesis of non-interferent timed systems;Benattar;Internat. J. Control,2015