MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Alessandro Aldini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

On the Extension of Non-interference with Probabilities
by Alessandro Aldini — 2002 — In Proc. of WITS’02 – 2nd Workshop on Issues in the Theory of Security
…On the Extension of Non-interference with Probabilities Alessandro Aldini Universita di Bologna…
Cited by 2 (1 self) – Add To MetaCart

Component-Oriented Specification of Performance Measures
by Alessandro Aldini, Marco Bernardo — 2006 — in Proc. of the 4th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), ENTCS
…Abstract Component-Oriented Specification of Performance Measures Alessandro Aldini 1 Marco…
Cited by 1 (1 self) – Add To MetaCart

Non-determinism in Probabilistic Timed Systems with General Distributions
by Mario Bravetti, Alessandro Aldini — 2001
… Distributions Mario Bravetti 1 and Alessandro Aldini 2 Dipartimento di Scienze dell'Informazione, University…
Cited by 3 (1 self) – Add To MetaCart

Expressing Processes with Different Action Durations through Probabilities
by Mario Bravetti, Alessandro Aldini, Ro Aldini
… and Alessandro Aldini Universita di Bologna, Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7…
Add To MetaCart

A Study about Trade-off between Performance and Security in an Internet Audio Mechanism
by Alessandro Aldini, Ro Aldini, Roberto Gorrieri
…A Study about Trade-off between Performance and Security in an Internet Audio Mechanism Alessandro…
Add To MetaCart

A Probabilistic Formulation of Imperfect Cryptography
by Angelo Troina, Alessandro Aldini, Ro Aldini, Roberto Gorrieri — 2003 — in Proc. of 1st Int. Workshop on Issues in Security and Petri Nets, WISP’03
…A Probabilistic Formulation of Imperfect Cryptography Angelo Troina 1 , Alessandro Aldini 2…
Cited by 5 (2 self) – Add To MetaCart

Approximating Imperfect Cryptography in a Formal Model
by Angelo Troina, Alessandro Aldini, Roberto Gorrieri — 2003
… Angelo Troina 1 Dipartimento di Informatica, Università di Pisa, Italy Alessandro Aldini 2 Istituto STI…
Cited by 3 (3 self) – Add To MetaCart

An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet
by Alessandro Aldini, Ro Aldini, Roberto Gorrieri, Marco Roccetti — 2001 — In 2nd IP-Telephony Workshop (IP-Tel’01), H. Schulzrinne ed
… Alessandro Aldini, Roberto Gorrieri, Marco Roccetti Dipartimento di Scienze dell'Informazione University…
Cited by 2 (2 self) – Add To MetaCart

On Securing Real-Time Speech Transmission over the Internet: An Experimental Study
by Alessandro Aldini, Marco Roccetti, Roberto Gorrieri — 2003 — EURASIP JOURNAL ON APPLIED SIGNAL PROCESSING
… Corporation On Securing Real-Time Speech Transmission over the Internet: An Experimental Study Alessandro…
Add To MetaCart

A Process-algebraic Approach for the Analysis of Probabilistic Non-interference
by Alessandro Aldini, Mario Bravetti, Roberto Gorrieri — 2004 — Journal of Computer Security
… A Process-algebraic Approach for the Analysis of Probabilistic Non-interference 1 Alessandro…
Cited by 32 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB