%0 Conference Paper %1 conf/csfw/DelauneKS08 %A Delaune, Stéphanie %A Kremer, Steve %A Steel, Graham %B CSF %D 2008 %I IEEE Computer Society %K %P 331-344 %T Formal Analysis of PKCS#11. %U http://dblp.uni-trier.de/db/conf/csfw/csf2008.html#DelauneKS08 %@ 978-0-7695-3182-3

@inproceedings{conf/csfw/DelauneKS08, added-at = {2023-12-13T00:55:53.000+0100}, author = {Delaune, Stéphanie and Kremer, Steve and Steel, Graham}, biburl = {https://www.bibsonomy.org/bibtex/21e4fe6e6de45c7a7b5232d42cf208130/admin}, booktitle = {CSF}, crossref = {conf/csfw/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.16}, interhash = {6a6c4b90774e46ef6ee4ddd0e8a5e10b}, intrahash = {1e4fe6e6de45c7a7b5232d42cf208130}, isbn = {978-0-7695-3182-3}, keywords = {}, pages = {331-344}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:55:53.000+0100}, title = {Formal Analysis of PKCS#11.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2008.html#DelauneKS08}, year = 2008 }