We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.
A Quantitative Study of Two Attacks
BODEI, CHIARA;DEGANO, PIERPAOLO;PRIAMI, C.
2005-01-01
Abstract
We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Quantitative study of two attacks.PDF
accesso aperto
Tipologia:
Versione finale editoriale
Licenza:
Creative commons
Dimensione
362.03 kB
Formato
Adobe PDF
|
362.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
