2009 |
31 | EE | Alessandro Aldini,
Maurice H. ter Beek,
Fabio Gadducci:
Preface.
Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009) |
2008 |
30 | EE | Alessandro Aldini,
Christel Baier:
Preface.
Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008) |
29 | EE | Alessandro Aldini,
Alessandra Di Pierro:
Estimating the maximum information leakage.
Int. J. Inf. Sec. 7(3): 219-242 (2008) |
2007 |
28 | | Alessandro Aldini,
Roberto Gorrieri:
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures
Springer 2007 |
27 | | Marco Bernardo,
Alessandro Aldini:
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
ICTCS 2007: 39-56 |
26 | EE | Alessandro Aldini,
Franck van Breugel:
Preface.
Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007) |
25 | EE | Alessandro Aldini,
Marco Bernardo:
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci. 382(1): 3-23 (2007) |
2006 |
24 | EE | Alessandro Aldini,
Marco Bernardo:
Component-Oriented Specification of Performance Measures.
Electr. Notes Theor. Comput. Sci. 164(3): 27-43 (2006) |
23 | EE | Alessandro Aldini:
Classification of security properties in a Linda-like process algebra.
Sci. Comput. Program. 63(1): 16-38 (2006) |
2005 |
22 | | Alessandro Aldini,
Roberto Gorrieri,
Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures
Springer 2005 |
21 | EE | Andrea Acquaviva,
Alessandro Aldini,
Marco Bernardo,
Alessandro Bogliolo,
Edoardo Bontà,
Emanuele Lattanzi:
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
SFM 2005: 155-189 |
20 | EE | Alessandro Aldini,
Alessandra Di Pierro:
On Quantitative Analysis of Probabilistic Protocols.
Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005) |
19 | EE | Alessandro Aldini,
Marco Bernardo:
On the usability of process algebra: An architectural view.
Theor. Comput. Sci. 335(2-3): 281-329 (2005) |
2004 |
18 | EE | Andrea Acquaviva,
Alessandro Aldini,
Marco Bernardo,
Alessandro Bogliolo,
Edoardo Bontà,
Emanuele Lattanzi:
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.
DSN 2004: 731- |
17 | EE | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Global Computing 2004: 77-92 |
16 | EE | Alessandro Aldini,
Marco Bernardo:
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.
QEST 2004: 336-337 |
15 | EE | Alessandro Aldini,
Marco Bernardo:
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.
SAFECOMP 2004: 283-296 |
14 | EE | Alessandro Aldini,
Alessandra Di Pierro:
A Quantitative Approach to Noninterference for Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004) |
13 | EE | Angelo Troina,
Alessandro Aldini,
Roberto Gorrieri:
Approximating Imperfect Cryptography in a Formal Model.
Electr. Notes Theor. Comput. Sci. 99: 183-203 (2004) |
12 | | Alessandro Aldini,
Mario Bravetti,
Roberto Gorrieri:
A process-algebraic approach for the analysis of probabilistic noninterference.
Journal of Computer Security 12(2): 191-245 (2004) |
2003 |
11 | EE | Alessandro Aldini,
Marco Bernardo:
A General Approach to Deadlock Freedom Verification for Software Architectures.
FME 2003: 658-677 |
10 | EE | Alessandro Aldini,
Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Global Computing 2003: 203-228 |
9 | EE | Alessandro Aldini:
Coordination Model and Noninterference.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
8 | | Mario Bravetti,
Alessandro Aldini:
Discrete time generative-reactive probabilistic processes with different advancing speeds.
Theor. Comput. Sci. 290(1): 355-406 (2003) |
2002 |
7 | EE | Alessandro Aldini,
Mario Bravetti,
Alessandra Di Pierro,
Roberto Gorrieri,
Chris Hankin,
Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties.
FOSAD 2002: 1-43 |
6 | EE | Alessandro Aldini,
Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol.
PAPM-PROBMIV 2002: 17-36 |
2001 |
5 | EE | Alessandro Aldini:
Probabilistic Information Flow in a Process Algebra.
CONCUR 2001: 152-168 |
4 | EE | Mario Bravetti,
Alessandro Aldini:
Expressing Processes with Different Action Durations through Probabilities.
PAPM-PROBMIV 2001: 168-183 |
3 | EE | Alessandro Aldini,
Marco Bernardo,
Roberto Gorrieri,
Marco Roccetti:
Comparing the QoS of Internet audio mechanisms via formal methods.
ACM Trans. Model. Comput. Simul. 11(1): 1-42 (2001) |
2 | EE | Mario Bravetti,
Alessandro Aldini:
Non-determinism in Probabilistic Timed Systems with General Distributions.
Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
2000 |
1 | | Alessandro Aldini,
Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
ICALP Satellite Workshops 2000: 591-606 |