{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:11Z","timestamp":1750307891109,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T00:00:00Z","timestamp":1212796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,7]]},"DOI":"10.1145\/1375696.1375709","type":"proceedings-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T14:13:22Z","timestamp":1213107202000},"page":"101-112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Dominator-tree analysis for distributed authorization"],"prefix":"10.1145","author":[{"given":"Miranda","family":"Mowbray","sequence":"first","affiliation":[{"name":"HP Laboratories, Bristol, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Lain","sequence":"additional","affiliation":[{"name":"HP Laboratories, Bristol, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"May","author":"Project The Debian","year":"2005","unstructured":"The Debian Project : debian--keyring--2005.05.28 , May 2005 . http:\/\/keyring.debian.org\/. The Debian Project: debian--keyring--2005.05.28, May 2005. http:\/\/keyring.debian.org\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Linked Local Name Spaces. In Proceedings 10th IEEE Computer Security Foundations Workshop","author":"Abadi Mart\u00edn","year":"1997","unstructured":"Mart\u00edn Abadi . On SDSI?s Linked Local Name Spaces. In Proceedings 10th IEEE Computer Security Foundations Workshop , June 1997 . Mart\u00edn Abadi. On SDSI?s Linked Local Name Spaces. In Proceedings 10th IEEE Computer Security Foundations Workshop, June 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/155183.155225"},{"key":"e_1_3_2_1_4_1","volume-title":"Compilers: Princiles, Techniques, and Tools","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D. Ullman . Compilers: Princiles, Techniques, and Tools . Addison-Wesley , 1986 . Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Princiles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378825"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/248521"},{"key":"e_1_3_2_1_7_1","volume-title":"The Keynote trust-management system, version 2. IETF RFC","author":"Blaze M.","year":"1999","unstructured":"M. Blaze , J. Feigenbaum , J. Ioannidis , and A. Keromytis . The Keynote trust-management system, version 2. IETF RFC 2704, September 1999 . M. Blaze, J. Feigenbaum, J. Ioannidis, and A. Keromytis. The Keynote trust-management system, version 2. IETF RFC 2704, September 1999."},{"key":"e_1_3_2_1_8_1","first-page":"131","volume-title":"DISCO?90: Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems","author":"Bol Roland N.","year":"1990","unstructured":"Roland N. Bol , Krzysztof R. Apt , and Jan Willem Klop . On the Power of Subsumption and Context Checks . In DISCO?90: Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems , pages 131 -- 140 , London, UK , 1990 . Springer-Verlag . Roland N. Bol, Krzysztof R. Apt, and Jan Willem Klop. On the Power of Subsumption and Context Checks. In DISCO?90: Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, pages 131--140, London, UK, 1990. Springer-Verlag."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/295656.295663"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90079-Q"},{"key":"e_1_3_2_1_11_1","volume-title":"The Directory?Authentication Framework","author":"CCITT (Consultative Committee on International Telegraphy and Telephony). Recommendation X.509","year":"1988","unstructured":"CCITT (Consultative Committee on International Telegraphy and Telephony). Recommendation X.509 : The Directory?Authentication Framework , 1988 . CCITT (Consultative Committee on International Telegraphy and Telephony). Recommendation X.509: The Directory?Authentication Framework, 1988."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_1_13_1","volume-title":"Internet Engineering Task Force Draft IETF","author":"Ellison Carl M.","year":"1997","unstructured":"Carl M. Ellison , Bill Frantz , Butler Lampson , Ron Rivest , Brian M. Thomas , and Tatu Ylonen . Simple public key certificate . Internet Engineering Task Force Draft IETF , July 1997 . Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas, and Tatu Ylonen. Simple public key certificate. Internet Engineering Task Force Draft IETF, July 1997."},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1007\/978-3-540-30140-0_60","volume-title":"Spyridon Triantafyllis, and David I. August. Finding dominators in practice","author":"Georgiadis Loukas","year":"2004","unstructured":"Loukas Georgiadis , Renato Fonseca F. Werneck , Robert Endre Tarjan , Spyridon Triantafyllis, and David I. August. Finding dominators in practice . In Susanne Albers and Tomasz Radzik, editors, ESA, volume 3221 of Lecture Notes in Computer Science , pages 677 -- 688 . Springer , 2004 . Loukas Georgiadis, Renato Fonseca F. Werneck, Robert Endre Tarjan, Spyridon Triantafyllis, and David I. August. Finding dominators in practice. In Susanne Albers and Tomasz Radzik, editors, ESA, volume 3221 of Lecture Notes in Computer Science, pages 677--688. Springer, 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/521155"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/352600.353052"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.12"},{"key":"e_1_3_2_1_18_1","volume-title":"Protection. In 5th Princeton Symposium on Information Sciences and Systems","author":"Lampson B. W.","year":"1971","unstructured":"B. W. Lampson . Protection. In 5th Princeton Symposium on Information Sciences and Systems ,. Princeton University , March 1971 . Reprinted in Operating Systems Review 8,1 January 74. B. W. Lampson. Protection. In 5th Princeton Symposium on Information Sciences and Systems,. Princeton University, March 1971. Reprinted in Operating Systems Review 8,1 January 74."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. 16th IEEE Computer Security and Foundations Workshop","author":"Li Ninghui","year":"2003","unstructured":"Ninghui Li and John C. Mitchell . Understanding SPKI\/SDSI using first-order logic . In Proc. 16th IEEE Computer Security and Foundations Workshop , Pacific Grove, CA, USA, pages 89--108. IEEE Computer Society Press , June 2003 . Ninghui Li and John C. Mitchell. Understanding SPKI\/SDSI using first-order logic. In Proc. 16th IEEE Computer Security and Foundations Workshop, Pacific Grove, CA, USA, pages 89--108. IEEE Computer Society Press, June 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/S009753979122370X"},{"key":"e_1_3_2_1_22_1","volume-title":"April","author":"Ronald","year":"1996","unstructured":"Ronald L. Rivest and Butler Lampson. SDSI ? A simple distributed security infrastructure. Presented at CRYPTO?96 Rumpsession , April 1996 . SDSI Version 1.0. Ronald L. Rivest and Butler Lampson. SDSI ? A simple distributed security infrastructure. Presented at CRYPTO?96 Rumpsession, April 1996. SDSI Version 1.0."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236115"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/244795.244799"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/800125.804040"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322273"},{"key":"e_1_3_2_1_27_1","first-page":"439","volume-title":"ICSE ?81: Proceedings of the 5th international conference on Software engineering","author":"Weiser Mark","year":"1981","unstructured":"Mark Weiser . Program slicing . In ICSE ?81: Proceedings of the 5th international conference on Software engineering , pages 439 -- 449 , Piscataway, NJ , USA, 1981 . IEEE Press . Mark Weiser. Program slicing. In ICSE ?81: Proceedings of the 5th international conference on Software engineering, pages 439--449, Piscataway, NJ, USA, 1981. IEEE Press."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298576"}],"event":{"name":"PLDI '08: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Tucson AZ USA","acronym":"PLDI '08"},"container-title":["Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375696.1375709","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1375696.1375709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:18Z","timestamp":1750258038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375696.1375709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,7]]},"references-count":28,"alternative-id":["10.1145\/1375696.1375709","10.1145\/1375696"],"URL":"https:\/\/doi.org\/10.1145\/1375696.1375709","relation":{},"subject":[],"published":{"date-parts":[[2008,6,7]]},"assertion":[{"value":"2008-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}