Performance Evaluation of Security Protocols Specified in LySa

Chiara Bodei; Michele Curti; Pierpaolo Degano; Mikael Buchholtz; Flemming Nielson; Hanne Riis Nielson; Corrado Priami

doi:10.1016/j.entcs.2004.01.017

Performance Evaluation of Security Protocols Specified in LySa

Chiara Bodei
, Michele Curti
, Pierpaolo Degano
, Mikael Buchholtz
, Flemming Nielson
, Hanne Riis Nielson
, Corrado Priami

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

We use a special operational semantics which drives us in inferring quantitative measures on system describing cryptographic protocols. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different cryptosystems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	112
Pages (from-to)	167-189
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2004.01.017
Publication status	Published - 2005

Access to Document

10.1016/j.entcs.2004.01.017

OpenUrl availability

Full text

Cite this

@article{58bc619874f74dd78861ba14a9ab9914,

title = "Performance Evaluation of Security Protocols Specified in LySa",

abstract = "We use a special operational semantics which drives us in inferring quantitative measures on system describing cryptographic protocols. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different cryptosystems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.",

author = "Chiara Bodei and Michele Curti and Pierpaolo Degano and Mikael Buchholtz and Flemming Nielson and Nielson, \{Hanne Riis\} and Corrado Priami",

year = "2005",

doi = "10.1016/j.entcs.2004.01.017",

language = "English",

volume = "112",

pages = "167--189",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Performance Evaluation of Security Protocols Specified in LySa

AU - Bodei, Chiara

AU - Curti, Michele

AU - Degano, Pierpaolo

AU - Buchholtz, Mikael

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Priami, Corrado

PY - 2005

Y1 - 2005

N2 - We use a special operational semantics which drives us in inferring quantitative measures on system describing cryptographic protocols. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different cryptosystems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.

AB - We use a special operational semantics which drives us in inferring quantitative measures on system describing cryptographic protocols. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different cryptosystems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.

U2 - 10.1016/j.entcs.2004.01.017

DO - 10.1016/j.entcs.2004.01.017

M3 - Journal article

SN - 1571-0661

VL - 112

SP - 167

EP - 189

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Performance Evaluation of Security Protocols Specified in LySa

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this