%0 Conference Paper %1 conf/spw/TjostheimPR07 %A Tjøstheim, Thomas %A Peacock, Thea %A Ryan, Peter Y. A. %B Security Protocols Workshop %D 2007 %E Christianson, Bruce %E Crispo, Bruno %E Malcolm, James A. %E Roe, Michael %I Springer %K dblp %P 114-130 %T A Model for System-Based Analysis of Voting Systems. %U http://dblp.uni-trier.de/db/conf/spw/spw2007.html#TjostheimPR07 %V 5964 %@ 978-3-642-17772-9

@inproceedings{conf/spw/TjostheimPR07, added-at = {2019-10-19T00:00:00.000+0200}, author = {Tjøstheim, Thomas and Peacock, Thea and Ryan, Peter Y. A.}, biburl = {https://www.bibsonomy.org/bibtex/2fab56c77513814765133a8d6a08810e3/dblp}, booktitle = {Security Protocols Workshop}, crossref = {conf/spw/2007}, editor = {Christianson, Bruce and Crispo, Bruno and Malcolm, James A. and Roe, Michael}, ee = {https://doi.org/10.1007/978-3-642-17773-6_13}, interhash = {a5579edef712c6cf24a9cc7790c693a4}, intrahash = {fab56c77513814765133a8d6a08810e3}, isbn = {978-3-642-17772-9}, keywords = {dblp}, pages = {114-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:41:00.000+0200}, title = {A Model for System-Based Analysis of Voting Systems.}, url = {http://dblp.uni-trier.de/db/conf/spw/spw2007.html#TjostheimPR07}, volume = 5964, year = 2007 }