%0 Conference Paper %1 conf/mfps/DattaDMP03 %A Datta, Anupam %A Derek, Ante %A Mitchell, John C. %A Pavlovic, Dusko %B MFPS %D 2003 %E Brookes, Stephen D. %E Panangaden, Prakash %I Elsevier %K dblp %P 201-226 %T Secure Protocol Composition. %U http://dblp.uni-trier.de/db/conf/mfps/mfps2003.html#DattaDMP03 %V 83

@inproceedings{conf/mfps/DattaDMP03, added-at = {2021-02-08T00:00:00.000+0100}, author = {Datta, Anupam and Derek, Ante and Mitchell, John C. and Pavlovic, Dusko}, biburl = {https://www.bibsonomy.org/bibtex/28f96d7ce3dae4009fd08bfc0af15694f/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2003}, editor = {Brookes, Stephen D. and Panangaden, Prakash}, ee = {https://doi.org/10.1016/S1571-0661(03)50011-1}, interhash = {0af7769b713efbcadbbfcf61d9152657}, intrahash = {8f96d7ce3dae4009fd08bfc0af15694f}, keywords = {dblp}, pages = {201-226}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:12.000+0200}, title = {Secure Protocol Composition.}, url = {http://dblp.uni-trier.de/db/conf/mfps/mfps2003.html#DattaDMP03}, volume = 83, year = 2003 }