%0 Journal Article %1 journals/jcs/DattaDMP05 %A Datta, Anupam %A Derek, Ante %A Mitchell, John C. %A Pavlovic, Dusko %D 2005 %J J. Comput. Secur. %K dblp %N 3 %P 423-482 %T A derivation system and compositional logic for security protocols. %U http://dblp.uni-trier.de/db/journals/jcs/jcs13.html#DattaDMP05 %V 13

@article{journals/jcs/DattaDMP05, added-at = {2023-08-28T00:00:00.000+0200}, author = {Datta, Anupam and Derek, Ante and Mitchell, John C. and Pavlovic, Dusko}, biburl = {https://www.bibsonomy.org/bibtex/2eb5ceb28287aa03c7d8578d5087aa36b/dblp}, ee = {https://www.wikidata.org/entity/Q114944078}, interhash = {c00fb36f6e32b9fd6b14a238f6e2c4f9}, intrahash = {eb5ceb28287aa03c7d8578d5087aa36b}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 3, pages = {423-482}, timestamp = {2024-04-09T05:17:24.000+0200}, title = {A derivation system and compositional logic for security protocols.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs13.html#DattaDMP05}, volume = 13, year = 2005 }