Download:
by Ro Aldini, Mario Bravetti, Ra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Properties”, Foundations of Security Analysis and Design II
http://www.sti.uniurb.it/aldini/publications/fosad.pdf
Add To MetaCart
Abstract:
Abstract. The formalisation of security properties for computer systems raises the problem of overcoming also in a formal setting the classical view according to which confidentiality is an absolute property stating the complete absence of any unauthorised disclosure of information. In this paper, we present two formal models in which the notion of noninterference, which is at the basis of a large variety of security properties defined in the recent literature, is approximated. To this aim, the definition of indistinguishability of process behaviour is replaced by a similarity notion, which introduces a quantitative measure ε of the behavioural difference among processes. The first model relies on a programming paradigm called Probabilistic Concurrent Constraint Programming, while the second one is presented in the setting of a probabilistic process algebra. In both models, appropriate notions of distance provide information (the ε) on the security level of the system at hand, in terms of the capability of an external observer of identifying illegal interferences. 1
Citations
|
1329
|
Convergence of Probability Measures
– Billingsley
- 1968
|
|
194
|
Process Algebra
– Baeten, Weijland
- 1990
|
|
46
|
Weak bisimulation for fully probabilistic processes
– Baier, Hermanns
- 1997
|
|
31
|
Theory and Application of Extended Markovian Process Algebra
– Bernardo
- 1999
|
|
30
|
A process algebraic approach for the analysis of probabilistic non-interference
– Aldini, Bravetti, et al.
|
|
24
|
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems
– Bernardo, Donatiello, et al.
- 1998
|
|
22
|
Quantitative analysis of the leakage of confidential data
– Clark, Hunt, et al.
- 2001
|
|
16
|
Specification and Analysis of Stochastic Real-Time Systems
– Bravetti
- 2002
|
|
15
|
Probabilistic information flow in a process algebra
– Aldini
|
|
15
|
Random Oracles in Constantipole: Practical Asynchronous Byzantine Agreement Using Cryptography
– Cachin, Kursawe, et al.
- 2000
|
|
14
|
Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time
– Bravetti, Bernardo
- 2000
|
|
11
|
Security analysis of a probabilistic non-repudiationprotocol
– Aldini, Gorrieri
- 2002
|
|
7
|
Towards quantitative verification of probabilistic systems
– Breugel, Worrel
- 2001
|
|
4
|
Discrete Time Generative-reactive
– Bravetti, Aldini
- 2003
|
|
3
|
On the Extension of Non-interference with Probabilities
– Aldini
- 2002
|
|
2
|
Eds.) Performance Evaluation of Complex Systems
– Calzarossa, Tucci
- 2002
|
