关注
Gruska
Gruska
在 fmph.uniba.sk 的电子邮件经过验证
标题
引用次数
引用次数
年份
Observation based system security
DP Gruska
Fundamenta Informaticae 79 (3-4), 335-346, 2007
282007
Probabilistic information flow security
DP Gruska
Fundamenta Informaticae 85 (1-4), 173-187, 2008
202008
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
162019
Quantifying security for timed process algebras
DP Gruska
Fundamenta Informaticae 93 (1-3), 155-169, 2009
142009
Process opacity for timed process algebra
DP Gruska
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
122015
Gained and excluded private actions by process observations
DP Gruska
Fundamenta Informaticae 109 (3), 281-295, 2011
112011
Network information flow
DP Gruska
Fundamenta Informaticae 72 (1-3), 167-180, 2006
112006
Process algebras for network communication
DP Gruska, A Maggiolo-Schettini
Fundamenta Informaticae 45 (4), 359-378, 2001
112001
Process algebra contexts and security properties
DP Gruska
Fundamenta Informaticae 102 (1), 63-76, 2010
102010
Attack Protection Tree.
AT Ali, DP Gruska
CS&P, 2019
92019
Informational analysis of security and integrity
DP Gruska
Fundamenta Informaticae 120 (3-4), 295-309, 2012
92012
Information Flow in Timing Attacks
DP Gruska
Proceedings CS&P 4, 2004
92004
Attack Trees with Time Constraints.
AT Ali, DP Gruska
CS&P, 93-105, 2021
82021
Differential privacy and security
DP Gruska
Fundamenta Informaticae 143 (1-2), 73-87, 2016
82016
Studying opacity of reaction systems through formula based predictors
R Gori, D Gruska, P Milazzo
Fundamenta Informaticae 165 (3-4), 303-319, 2019
62019
Information flow testing
DP Gruska
Fundamenta Informaticae 128 (1-2), 81-95, 2013
62013
A timed process description language based on CCS
DP Gruska, A Maggiolo-Schettini
Università degli studi di Pisa, Dipartimento di informatica, 1991
61991
Opacity-enforcing for Process Algebras.
DP Gruska, MC Ruiz
CS&P, 2018
52018
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
52010
Nested Timing Attacks
DP Gruska, A Maggiolo-Schettini
Proceedings of FAST, 147-161, 2003
52003
系统目前无法执行此操作,请稍后再试。
文章 1–20