%0 Conference Paper %1 conf/provsec/PengB10 %A Peng, Kun %A Bao, Feng %B ProvSec %D 2010 %E Heng, Swee-Huay %E Kurosawa, Kaoru %I Springer %K dblp %P 133-143 %T Formal and Precise Analysis of Soundness of Several Shuffling Schemes. %U http://dblp.uni-trier.de/db/conf/provsec/provsec2010.html#PengB10 %V 6402 %@ 978-3-642-16279-4

@inproceedings{conf/provsec/PengB10, added-at = {2017-11-06T00:00:00.000+0100}, author = {Peng, Kun and Bao, Feng}, biburl = {https://www.bibsonomy.org/bibtex/215f8af79ca130edd08a2d4f7730dd426/dblp}, booktitle = {ProvSec}, crossref = {conf/provsec/2010}, editor = {Heng, Swee-Huay and Kurosawa, Kaoru}, ee = {https://doi.org/10.1007/978-3-642-16280-0_9}, interhash = {be4a8534890119ea9c15ab3a9b9eb5e7}, intrahash = {15f8af79ca130edd08a2d4f7730dd426}, isbn = {978-3-642-16279-4}, keywords = {dblp}, pages = {133-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:13:51.000+0200}, title = {Formal and Precise Analysis of Soundness of Several Shuffling Schemes.}, url = {http://dblp.uni-trier.de/db/conf/provsec/provsec2010.html#PengB10}, volume = 6402, year = 2010 }