Observation based system security DP Gruska Fundamenta Informaticae 79 (3-4), 335-346, 2007 | 28 | 2007 |
Probabilistic information flow security DP Gruska Fundamenta Informaticae 85 (1-4), 173-187, 2008 | 20 | 2008 |
Modeling and evaluation of a power-aware algorithm for IoT bluetooth low energy devices MC Ruiz, C Garrido-Hidalgo, DP Gruska, T Olivares, D Hortelano, ... 2019 IEEE International Conference on Smart Internet of Things (SmartIoT), 28-35, 2019 | 16 | 2019 |
Quantifying security for timed process algebras DP Gruska Fundamenta Informaticae 93 (1-3), 155-169, 2009 | 14 | 2009 |
Process opacity for timed process algebra DP Gruska Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 12 | 2015 |
Gained and excluded private actions by process observations DP Gruska Fundamenta Informaticae 109 (3), 281-295, 2011 | 11 | 2011 |
Network information flow DP Gruska Fundamenta Informaticae 72 (1-3), 167-180, 2006 | 11 | 2006 |
Process algebras for network communication DP Gruska, A Maggiolo-Schettini Fundamenta Informaticae 45 (4), 359-378, 2001 | 11 | 2001 |
Process algebra contexts and security properties DP Gruska Fundamenta Informaticae 102 (1), 63-76, 2010 | 10 | 2010 |
Attack Protection Tree. AT Ali, DP Gruska CS&P, 2019 | 9 | 2019 |
Informational analysis of security and integrity DP Gruska Fundamenta Informaticae 120 (3-4), 295-309, 2012 | 9 | 2012 |
Information Flow in Timing Attacks DP Gruska Proceedings CS&P 4, 2004 | 9 | 2004 |
Attack Trees with Time Constraints. AT Ali, DP Gruska CS&P, 93-105, 2021 | 8 | 2021 |
Differential privacy and security DP Gruska Fundamenta Informaticae 143 (1-2), 73-87, 2016 | 8 | 2016 |
Studying opacity of reaction systems through formula based predictors R Gori, D Gruska, P Milazzo Fundamenta Informaticae 165 (3-4), 303-319, 2019 | 6 | 2019 |
Information flow testing DP Gruska Fundamenta Informaticae 128 (1-2), 81-95, 2013 | 6 | 2013 |
A timed process description language based on CCS DP Gruska, A Maggiolo-Schettini Università degli studi di Pisa, Dipartimento di informatica, 1991 | 6 | 1991 |
Opacity-enforcing for Process Algebras. DP Gruska, MC Ruiz CS&P, 2018 | 5 | 2018 |
A notion of biological diagnosability inspired by the notion of opacity in systems security R Barbuti, A Maggiolo-Schettini, P Milazzo, DP Gruska Fundamenta Informaticae 102 (1), 19-34, 2010 | 5 | 2010 |
Nested Timing Attacks DP Gruska, A Maggiolo-Schettini Proceedings of FAST, 147-161, 2003 | 5 | 2003 |