×

zbMATH — the first resource for mathematics

Aldini, Alessandro

Compute Distance To:
Author ID: aldini.alessandro Recent zbMATH articles by "Aldini, Alessandro"
Published as: Aldini, Alessandro; Aldini, A.
External Links: ORCID
Documents Indexed: 26 Publications since 2001, including 11 Books

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 31 times in 28 Documents Cited by Year
Discrete time generative-reactive probabilistic processes with different advancing speeds. Zbl 1018.68051
Bravetti, M.; Aldini, A.
9
2003
A process algebraic approach to software architecture design. Zbl 1255.68004
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
8
2010
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
Expressing processes with different action durations through probabilities. Zbl 1007.68516
Bravetti, Mario; Aldini, Alessandro
2
2001
Security analysis of a probabilistic non-repudiation protocol. Zbl 1065.68528
Aldini, Alessandro; Gorrieri, Roberto
2
2002
On the usability of process algebra: An architectural view. Zbl 1080.68071
Aldini, Alessandro; Bernardo, Marco
2
2005
Probabilistic information flow in a process algebra. Zbl 1006.68093
Aldini, Alessandro
1
2001
Towards a formal treatment of secrecy against computational adversaries. Zbl 1111.68447
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
1
2005
Classification of security properties in a Linda-like process algebra. Zbl 1103.68081
Aldini, Alessandro
1
2006
Mixing logics and rewards for the component-oriented specification of performance measures. Zbl 1159.68020
Aldini, Alessandro; Bernardo, Marco
1
2007
A general framework for nondeterministic, probabilistic, and stochastic noninterference. Zbl 1252.68188
Aldini, Alessandro; Bernardo, Marco
1
2009
A process algebraic approach to software architecture design. Zbl 1255.68004
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
8
2010
A general framework for nondeterministic, probabilistic, and stochastic noninterference. Zbl 1252.68188
Aldini, Alessandro; Bernardo, Marco
1
2009
Mixing logics and rewards for the component-oriented specification of performance measures. Zbl 1159.68020
Aldini, Alessandro; Bernardo, Marco
1
2007
Classification of security properties in a Linda-like process algebra. Zbl 1103.68081
Aldini, Alessandro
1
2006
On the usability of process algebra: An architectural view. Zbl 1080.68071
Aldini, Alessandro; Bernardo, Marco
2
2005
Towards a formal treatment of secrecy against computational adversaries. Zbl 1111.68447
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
1
2005
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
Discrete time generative-reactive probabilistic processes with different advancing speeds. Zbl 1018.68051
Bravetti, M.; Aldini, A.
9
2003
Security analysis of a probabilistic non-repudiation protocol. Zbl 1065.68528
Aldini, Alessandro; Gorrieri, Roberto
2
2002
Expressing processes with different action durations through probabilities. Zbl 1007.68516
Bravetti, Mario; Aldini, Alessandro
2
2001
Probabilistic information flow in a process algebra. Zbl 1006.68093
Aldini, Alessandro
1
2001

Citations by Year