Alessandro Aldini
Alessandro Aldini
Associate Professor in Computer Science, University of Urbino
Email verificata su uniurb.it - Home page
Titolo
Citata da
Citata da
Anno
A process-algebraic approach for the analysis of probabilistic noninterference 1
A Aldini, M Bravetti, R Gorrieri
Journal of Computer Security 12 (2), 191-245, 2004
992004
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
732010
Virtual currency and reputation-based cooperation incentives in user-centric networks
A Bogliolo, P Polidori, A Aldini, W Moreira, P Mendes, M Yildiz, ...
2012 8th International Wireless Communications and Mobile Computing …, 2012
612012
On the usability of process algebra: An architectural view
A Aldini, M Bernardo
Theoretical Computer Science 335 (2-3), 281-329, 2005
482005
Foundations of security analysis and design III: FOSAD 2004/2005 tutorial lectures
A Aldini, R Gorrieri, F Martinelli
Springer Science & Business Media, 2005
43*2005
Discrete time generative–reactive probabilistic processes with different advancing speeds
M Bravetti, A Aldini
Theoretical Computer Science 290 (1), 355-406, 2003
422003
Probabilistic information flow in a process algebra
A Aldini
International Conference on Concurrency Theory, 152-168, 2001
402001
Comparing the QoS of Internet audio mechanisms via formal methods
A Aldini, M Bernardo, R Gorrieri, M Roccetti
ACM Transactions on Modeling and Computer Simulation (TOMACS) 11 (1), 1-42, 2001
322001
Estimating the maximum information leakage
A Aldini, A Di Pierro
International Journal of Information Security 7 (3), 219-242, 2008
292008
User-Centric Networking: Future Perspectives
A Aldini, A Bogliolo
Springer, 2014
272014
Security analysis of a probabilistic non-repudiation protocol
A Aldini, R Gorrieri
Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002
262002
Two formal approaches for approximating noninterference properties
A Aldini, M Bravetti, A Di Pierro, R Gorrieri, C Hankin, H Wiklicky
International School on Foundations of Security Analysis and Design, 1-43, 2001
262001
A formal approach to the integrated analysis of security and QoS
A Aldini, M Bernardo
Reliability Engineering & System Safety 92 (11), 1503-1520, 2007
232007
Detection of repackaged mobile applications through a collaborative approach
A Aldini, F Martinelli, A Saracino, D Sgandurra
Concurrency and Computation: Practice and Experience 27 (11), 2818-2838, 2015
212015
Modeling and verification of trust and reputation systems
A Aldini
Security and communication networks 8 (16), 2933-2946, 2015
192015
A methodology based on formal methods for predicting the impact of dynamic power management
A Acquaviva, A Aldini, M Bernardo, A Bogliolo, E Bontà, E Lattanzi
School on Formal Methods-Moby, 155-189, 2005
192005
An algebraic model for evaluating the performance of an ATM switch with explicit rate marking
A Aldini, M Bernardo, R Gorrieri
Proc. of the 7th Int. Workshop on Process Algebras and Performance Modeling …, 1999
191999
Model checking of trust-based user-centric cooperative networks
A Aldini, A Bogliolo
Proc. 4th International Conference on Advances in Future Internet (AFIN’12 …, 2012
182012
A quantitative approach to noninterference for probabilistic systems
A Aldini, A Di Pierro
Electronic Notes in Theoretical Computer Science 99, 155-182, 2004
182004
Assessing the impact of dynamic power management on the functionality and the performance of battery-powered appliances
A Acquaviva, A Aldini, M Bernardo, A Bogliolo, E Bontà, E Lattanzi
International Conference on Dependable Systems and Networks, 2004, 731-740, 2004
182004
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20