University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Bresciani, Riccardo"

DSpace Repository

Browsing LERO - Project partner authors by Author "Bresciani, Riccardo"

Sort by: Order: Results:

  • Bresciani, Riccardo; Butterfield, Andrew (IEEE Computer Society, 2009)
    When some agents want to communicate through a media stream (for example voice or video), the Real Time Protocol (RTP) is used. This protocol does not provide encryption, so it is necessary to use Secure RTP (SRTP) to ...
  • Bresciani, Riccardo; Butterfield, Andrew (Springer, 2013)
    We have introduced probability in the UTP framework by using functions from the state space to real numbers, which we term distributions, that are embedded in the predicates describing the di er- ent program constructs. ...
  • Bresciani, Riccardo; Butterfield, Andrew (2012)
    We present a theory of designs based on functions from the state space to real numbers, which we term distributions. This theory uses predicates, in the style of UTP, based on homogeneous relations between distributions, ...
  • Bresciani, Riccardo; Butterfield, Andrew (Springer, 2012)
    We present an encoding of the semantics of the probabilis- tic guarded command language (pGCL) in the Unifying Theories of Programming (UTP) framework. Our contribution is a UTP encoding that captures pGCL programs as ...
  • Bresciani, Riccardo; Butterfield, Andrew (Association for Computing Machinery, 2009)
    The Dolev-Yao model has been widely used in protocol verificaion and has been implemented in many protocol verifiers. There are strong assumptions underlying this model, such as perfect cryptography: the aim of the ...

Search ULIR


Browse

My Account

Statistics