Weakening the Dolev-Yao model through probability
You are here
| Title | Weakening the Dolev-Yao model through probability |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Bresciani R, Butterfield A |
| Conference Name | SIN ’09: Proceedings of the 2nd international conference on Security of information and networksSIN ’09: Proceedings of the 2nd international conference on Security of information and networks |
| Date Published | 2009 |
| Conference Location | North Cyprus |
| URL | https://sharepoint.lero.ie/Publications/2009/Conference%20Papers/2009-Bresciani-Weakening%20the%20Dolev-Yao%20Model.pdf |
