#### Filter Results:

- Full text PDF available (65)

#### Publication Year

1991

2017

- This year (1)
- Last 5 years (8)
- Last 10 years (25)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
- Theor. Comput. Sci.
- 1995

- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Journal of Computer Security
- 2002

We address the problem of characterising the security of a program against unauthorised information flows. Classical approaches are based on non-interference models which depend ultimately on the notion of process equivalence. In these models confidentiality is an absolute property stating the absence of any illegal information flow. We present a model in… (More)

- Alessandro Aldini, Alessandra Di Pierro
- Electr. Notes Theor. Comput. Sci.
- 2004

We present a technique for measuring the security of a system which relies on a probabilistic process algebraic formalisation of noninterference. We define a mathematical model for this technique which consists of a linear space of processes and linear transformations on them. In this model the measured quantity corresponds to the norm of a suitably defined… (More)

- Alessandra Di Pierro, Herbert Wiklicky
- ICCL
- 1998

This paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called \randomised algorithms" within the CCP framework. Diierently from common approaches in (imperative) high-level programming languages, which rely on some kind of random() function, we… (More)

- Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
- IJCSLP
- 1998

Synopsis Algorithms where the ow of information is determined by an element of random choice (a \coin ipping" device), aka randomised algorithms, have known in the last decade a tremendous growth of interest, especially in the eld of complexity theory. Up to now such algorithms have been implemented mostly by means of probabilistic programs written in… (More)

- Alessandra Di Pierro, Herbert Wiklicky
- APPIA-GULP-PRODE
- 1997

This paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called \randomised algorithms" within the CCP framework. Our approach incorporates randomness directly within the (operational) semantics instead of referring to an \external" function or procedure… (More)

- Alessandra Di Pierro, Herbert Wiklicky
- PPDP
- 2000

We present a method for approximating the semanti s of probabilisti programs to the purpose of onstru ting semanti s-based analyses of su h programs. The method resembles the one based on Galois onne tion as developed in the Cousot framework for abstra t interpretation. The main di eren e between our approa h and the standard theory of abstra t… (More)

- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- COORDINATION
- 2004

- Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
- Electr. Notes Theor. Comput. Sci.
- 2002

Classical Constraint Handling Rules (CHR) provide a powerful tool for specifying and implementing constraint solvers and programs. The rules of CHR rewrite constraints (non-deterministically) into simpler ones until they are solved. In this paper we introduce an extension of Constraint Handling Rules (CHR), namely Probabilistic CHRs (PCHR). These allow the… (More)

- Alessandra Di Pierro, Herbert Wiklicky
- LOPSTR
- 2000