%0 Book Section %1 series/natosec/Comon-LundhD12 %A Comon-Lundh, Hubert %A Delaune, Stéphanie %B Software Safety and Security %D 2012 %E Nipkow, Tobias %E Grumberg, Orna %E Hauptmann, Benedikt %I IOS Press %K %P 26-63 %T Formal Security Proofs. %U http://dblp.uni-trier.de/db/series/natosec/natosec33.html#Comon-LundhD12 %V 33 %@ 978-1-61499-028-4

@incollection{series/natosec/Comon-LundhD12, added-at = {2023-12-13T05:17:16.000+0100}, author = {Comon-Lundh, Hubert and Delaune, Stéphanie}, biburl = {https://www.bibsonomy.org/bibtex/2eb17af2bdbe0a22116a81643b9e644bb/admin}, booktitle = {Software Safety and Security}, crossref = {series/natosec/33}, editor = {Nipkow, Tobias and Grumberg, Orna and Hauptmann, Benedikt}, ee = {https://doi.org/10.3233/978-1-61499-028-4-26}, interhash = {a0c7ab57ea22e46026498bbb4ef3acba}, intrahash = {eb17af2bdbe0a22116a81643b9e644bb}, isbn = {978-1-61499-028-4}, keywords = {}, pages = {26-63}, publisher = {IOS Press}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, timestamp = {2023-12-13T05:17:16.000+0100}, title = {Formal Security Proofs.}, url = {http://dblp.uni-trier.de/db/series/natosec/natosec33.html#Comon-LundhD12}, volume = 33, year = 2012 }