%0 Journal Article %1 journals/tissec/HalpernP03 %A Halpern, Joseph Y. %A Pucella, Riccardo %D 2003 %J ACM Trans. Inf. Syst. Secur. %K dblp %N 1 %P 43-70 %T On the relationship between strand spaces and multi-agent systems. %U http://dblp.uni-trier.de/db/journals/tissec/tissec6.html#HalpernP03 %V 6

@article{journals/tissec/HalpernP03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Halpern, Joseph Y. and Pucella, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/2852c81466839b12463061d4643e27f50/dblp}, ee = {https://doi.org/10.1145/605434.605436}, interhash = {c0e68c096db12ab5358d0bb6f252ace8}, intrahash = {852c81466839b12463061d4643e27f50}, journal = {ACM Trans. Inf. Syst. Secur.}, keywords = {dblp}, number = 1, pages = {43-70}, timestamp = {2018-11-07T11:42:42.000+0100}, title = {On the relationship between strand spaces and multi-agent systems.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec6.html#HalpernP03}, volume = 6, year = 2003 }