%0 Conference Paper %1 conf/ifip1-7/VerhoevenD08 %A Verhoeven, Rob %A Dechesne, Francien %B Formal Aspects in Security and Trust %D 2008 %E Degano, Pierpaolo %E Guttman, Joshua D. %E Martinelli, Fabio %I Springer %K dblp %P 226-241 %T Verifying Multi-party Authentication Using Rank Functions and PVS. %U http://dblp.uni-trier.de/db/conf/ifip1-7/fast2008.html#VerhoevenD08 %V 5491

@inproceedings{conf/ifip1-7/VerhoevenD08, added-at = {2017-09-16T00:00:00.000+0200}, author = {Verhoeven, Rob and Dechesne, Francien}, biburl = {https://www.bibsonomy.org/bibtex/2553033785fcbc818321d8b19ba292c1a/dblp}, booktitle = {Formal Aspects in Security and Trust}, crossref = {conf/ifip1-7/2008}, editor = {Degano, Pierpaolo and Guttman, Joshua D. and Martinelli, Fabio}, ee = {https://doi.org/10.1007/978-3-642-01465-9_15}, interhash = {56b5700a091b7daa57900a4fc2cd9f6a}, intrahash = {553033785fcbc818321d8b19ba292c1a}, keywords = {dblp}, pages = {226-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:54:41.000+0200}, title = {Verifying Multi-party Authentication Using Rank Functions and PVS.}, url = {http://dblp.uni-trier.de/db/conf/ifip1-7/fast2008.html#VerhoevenD08}, volume = 5491, year = 2008 }