%0 Conference Paper %1 conf/csfw/MeierCB10 %A Meier, Simon %A Cremers, Cas %A Basin, David A. %B CSF %D 2010 %I IEEE Computer Society %K dblp %P 231-245 %T Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. %U http://dblp.uni-trier.de/db/conf/csfw/csf2010.html#MeierCB10 %@ 978-0-7695-4082-5

@inproceedings{conf/csfw/MeierCB10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Meier, Simon and Cremers, Cas and Basin, David A.}, biburl = {https://www.bibsonomy.org/bibtex/26d132ad4d77c516aec458c7c9cdaf5ac/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2010.23}, interhash = {083f0941508e16d9f03b6ae2ed8d7312}, intrahash = {6d132ad4d77c516aec458c7c9cdaf5ac}, isbn = {978-0-7695-4082-5}, keywords = {dblp}, pages = {231-245}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:26.000+0200}, title = {Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2010.html#MeierCB10}, year = 2010 }