Time and Probability based Information Flow Analysis

by Ruggero Lanotte , Angelo Troina

Active Bibliography

16 Weak Bisimulation for Probabilistic Timed Automata – Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina - 2003
A Classification of Time and/or Probability . . . – Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina - 2005
1 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
5 A Quantitative Approach to Noninterference for Probabilistic Systems – Alessandro Aldini, Alessandra Di Pierro - 2003
8 Quantifying timing leaks and cost optimisation – Ra Di Pierro, Chris Hankin, Herbert Wiklicky - 2008
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
Ecole doctorale: Informatique et Mathématiques de Lyon – Alexandre Mouradian, Christian Fraboul, Congduc Pham, Vania Conan, Directeur Examinateur, Michel Misson, Professeur Universités Examinateur, Jean-marc Thiriet, Professeur Universités Examinateur, Isabelle Augé-blum, Maître Conférences Encadrante - 2013
A Study about Trade-off between Performance and Security in an Internet Audio Mechanism – Alessandro Aldini, Roberto Gorrieri
13 Security Analysis of a Probabilistic Non-repudiation Protocol – Ro Aldini, Roberto Gorrieri - 2002
3 On the Extension of Non-interference with Probabilities – Alessandro Aldini - 2002
1 Timed Bisimulation and Open Maps – Mogens Nielsen, Thomas S. Hune - 1998
Quantifying Timing Leaks and Cost – Ra Di Pierro, Chris Hankin, Herbert Wiklicky
On Decidability of Prebisimulation for Timed Automata – Shibashis Guha, Chinmay Narayan, S. Arun-kumar
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
30 The Power of Reachability Testing for Timed Automata – L. Aceto, P. Bouyer, A. Burgueño, K. G. Larsen - 2001
5 Quantifying information leakage in process calculi – Michele Boreale - 2006
11 Confidentiality for Multithreaded Programs via Bisimulation – Andrei Sabelfeld - 2003
2 Simulation and Bisimulation for Probabilistic Timed Automata ⋆ – Jeremy Sproston, Angelo Troina
1 Information Flow in Systems with Schedulers (Part I: Definitions) 1 – Ron Van Der Meyden, Chenyi Zhang