%0 Journal Article %1 journals/jcs/HalpernM01 %A Halpern, Joseph Y. %A van der Meyden, Ron %D 2001 %J J. Comput. Secur. %K dblp %N 1/2 %P 105-142 %T A Logic for SDSI's Linked Local Name Spaces. %U http://dblp.uni-trier.de/db/journals/jcs/jcs9.html#HalpernM01 %V 9

@article{journals/jcs/HalpernM01, added-at = {2023-08-28T00:00:00.000+0200}, author = {Halpern, Joseph Y. and van der Meyden, Ron}, biburl = {https://www.bibsonomy.org/bibtex/25015df024dad1a97e3e497738a737793/dblp}, ee = {https://www.wikidata.org/entity/Q114944288}, interhash = {7e79497160db077fb6a39107084b1a66}, intrahash = {5015df024dad1a97e3e497738a737793}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = {1/2}, pages = {105-142}, timestamp = {2024-04-09T05:17:24.000+0200}, title = {A Logic for SDSI's Linked Local Name Spaces.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs9.html#HalpernM01}, volume = 9, year = 2001 }