%0 Journal Article %1 journals/iandc/AndovaCGMMR08 %A Andova, Suzana %A Cremers, Cas %A Gjøsteen, Kristian %A Mauw, Sjouke %A Mjølsnes, Stig Fr. %A Radomirovic, Sasa %D 2008 %J Inf. Comput. %K dblp %N 2-4 %P 425-459 %T A framework for compositional verification of security protocols. %U http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#AndovaCGMMR08 %V 206

@article{journals/iandc/AndovaCGMMR08, added-at = {2021-08-23T00:00:00.000+0200}, author = {Andova, Suzana and Cremers, Cas and Gjøsteen, Kristian and Mauw, Sjouke and Mjølsnes, Stig Fr. and Radomirovic, Sasa}, biburl = {https://www.bibsonomy.org/bibtex/2f1ecd951132471e739ae3b9ce5690b0e/dblp}, ee = {https://doi.org/10.1016/j.ic.2007.07.002}, interhash = {1264ff7f9a9adfe2ae64797ba9900b57}, intrahash = {f1ecd951132471e739ae3b9ce5690b0e}, journal = {Inf. Comput.}, keywords = {dblp}, number = {2-4}, pages = {425-459}, timestamp = {2024-04-09T06:09:12.000+0200}, title = {A framework for compositional verification of security protocols.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#AndovaCGMMR08}, volume = 206, year = 2008 }