Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita� di Urbino "Carlo Bo"

Advanced Search

Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita� di Urbino "Carlo Bo"

Component-Oriented Verification of Noninterference Alessandro Aldini Marco Bernardo
Discrete Time GenerativeReactive Probabilistic Processes with
June 20, 2007 14:14 WSPC -Proceedings Trim Size: 9in x 6in ictcs2007 Weak Markovian Bisimilarity
Submitted to: This work is licensed under the
Component-Oriented Specification of Performance Measures
A Methodology Based on Formal Methods for Predicting the Impact
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of BatteryPowered Appliances
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
International Journal of Information Security manuscript No. (will be inserted by the editor)
On the Usability of Process Algebra: An Architectural View
A SECURE PROTOCOL FOR VOICE-OPERATED E-COMMERCE SYSTEMS OVER IP NETWORKS
MEFISTO 2003 Preliminary Version A Quantitative Approach to Noninterference
A Study about Trade-off between Performance and Security in an Internet Audio Mechanism
Behavioral Equivalences and Approximations Alessandro Aldini
On the Extension of Non-interference with Probabilities Alessandro Aldini
Towards a Formal Treatment of Secrecy against Computational Adversaries
A Note on the Approximation of Weak Probabilistic Bisimulation
Classification of Security Properties in a Linda-like Process Algebra
Probabilistic Information Flow in a Process Algebra
QAPL 2004 Preliminary Version On Quantitative Analysis of
Two Formal Approaches for Approximating Noninterference Properties
A Formal Approach to the Integrated Analysis of Security and QoS
EURASIP Journal on Applied Signal Processing 2003:10, 10271042 c 2003 Hindawi Publishing Corporation
Mixing Logics and Rewards for the Component-Oriented Specification
Noninterference and the Most Powerful Probabilistic Adversary
An Integrated View of Security Analysis and Performance Evaluation
A General Approach to Deadlock Freedom Veri cation
A Process-algebraic Approach for the Analysis of Probabilistic Noninterference 1
MEFISTO 2003 Preliminary Version Approximating Imperfect Cryptography
Approximating Markovian Testing Equivalence Alessandro Aldini