%0 Journal Article %1 journals/jcs/HalpernM03 %A Halpern, Joseph Y. %A van der Meyden, Ron %D 2003 %J J. Comput. Secur. %K dblp %N 4 %P 581-614 %T A Logical Reconstruction of SPKI. %U http://dblp.uni-trier.de/db/journals/jcs/jcs11.html#HalpernM03 %V 11

@article{journals/jcs/HalpernM03, added-at = {2023-08-28T00:00:00.000+0200}, author = {Halpern, Joseph Y. and van der Meyden, Ron}, biburl = {https://www.bibsonomy.org/bibtex/2d7b9a553b8affcca6c5d44faec080a5b/dblp}, ee = {https://www.wikidata.org/entity/Q114944179}, interhash = {ab70dafd67bb35eae86307ff1a3aa226}, intrahash = {d7b9a553b8affcca6c5d44faec080a5b}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 4, pages = {581-614}, timestamp = {2024-04-09T05:17:32.000+0200}, title = {A Logical Reconstruction of SPKI.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs11.html#HalpernM03}, volume = 11, year = 2003 }