A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Weakening the Dolev-Yao model through probability
2009
Proceedings of the 2nd international conference on Security of information and networks - SIN '09
The Dolev-Yao model has been widely used in protocol verification and has been implemented in many protocol verifiers. There are strong assumptions underlying this model, such as perfect cryptography: the aim of the present work is to propose an approach to weaken this hypothesis, by means of probabilistic considerations on the strength of cryptographic functions. Such an approach may effectively be implemented in actual protocol verifiers. The Yahalom protocol is used as an easy example to show this approach.
doi:10.1145/1626195.1626265
dblp:conf/sin/BrescianiB09
fatcat:mizwcusyojhltbvzavfxsrzpoy