{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T18:41:20Z","timestamp":1770489680706,"version":"3.49.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030337155","type":"print"},{"value":"9783030337162","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-33716-2_16","type":"book-chapter","created":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T20:40:37Z","timestamp":1572036037000},"page":"209-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["TPL: A Trust Policy Language"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"M\u00f6dersheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Schlichtkrull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"More","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Alber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,25]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"619","DOI":"10.3233\/JCS-2009-0364","volume":"18","author":"MY Becker","year":"2010","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: SecPAL: design and semantics of a decentralized authorization language. J. Comput. Secur. 18(4), 619\u2013665 (2010)","journal-title":"J. Comput. Secur."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.D.: The keynote trust-management system version 2 (1999)","DOI":"10.17487\/rfc2704"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Keromytis, A.D.: Keynote: trust management for public-key infrastructures (position paper). In: Proceedings of the 6th International Workshop Security Protocols, Cambridge, UK, 15\u201317 April 1998, pp. 59\u201363 (1998)","DOI":"10.1007\/3-540-49135-X_9"},{"key":"16_CR4","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: 1996 IEEE Symposium on Security and Privacy, Oakland, CA, USA, 6\u20138 May 1996, pp. 164\u2013173 (1996)"},{"key":"16_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog - The Standard: Reference Manual","author":"P Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog - The Standard: Reference Manual. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-3-642-61411-8"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Dong, C., Dulay, N.: Shinren: Non-monotonic trust management for distributed systems. In: Proceedings of the 4th IFIP WG 11.11 International Conference on Trust Management IV, IFIPTM 2010, Morioka, Japan, 16\u201318 June 2010, pp. 125\u2013140 (2010)","DOI":"10.1007\/978-3-642-13446-3_9"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Neeman, I.: DKAL: distributed-knowledge authorization language. In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23\u201325 June 2008, pp. 149\u2013162 (2008)","DOI":"10.1109\/CSF.2008.8"},{"key":"16_CR8","unstructured":"Herzberg, A., Mass, Y., Mihaeli, J., Naor, D., Ravid, Y.: Access control meets public key infrastructure, or: assigning roles to strangers. In: 2000 IEEE Symposium on Security and Privacy, Berkeley, California, USA, 14\u201317 May 2000, pp. 2\u201314 (2000)"},{"key":"16_CR9","unstructured":"Jim, T.: SD3: a trust management system with certified evaluation. In: 2001 IEEE Symposium on Security and Privacy, Oakland, California, USA, 14\u201316 May 2001, pp. 106\u2013115 (2001)"},{"key":"16_CR10","unstructured":"Li, N., Feigenbaum, J., Grosof, B.N.: A logic-based knowledge representation for authorization with delegation. In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, 28\u201330 June 1999, pp. 162\u2013174 (1999)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S., Katsoris, G.: A sound abstraction of the parsing problem. In: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19\u201322 July 2014, pp. 259\u2013273 (2014)","DOI":"10.1109\/CSF.2014.26"},{"key":"16_CR12","unstructured":"M\u00f6dersheim, S., Schlichtkrull, A.: The LIGHTest foundation. Technical report, Technical University of Denmark (2018)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S.A., Ni, B.: GTPL: a graphical trust policy language. In: Open Identity Summit 2019 (2019)","DOI":"10.1007\/978-3-030-33716-2_16"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"issue":"2210","key":"16_CR15","doi-asserted-by":"publisher","first-page":"20170872","DOI":"10.1098\/rspa.2017.0872","volume":"474","author":"LC Paulson","year":"2018","unstructured":"Paulson, L.C.: Computational logic: its origins and applications. Proc. R. Soc. A: Math. Phys. Eng. Sci. 474(2210), 20170872 (2018)","journal-title":"Proc. R. Soc. A: Math. Phys. Eng. Sci."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Schlichtkrull, A., Blanchette, J.C., Traytel, D.: A verified functional implementation of Bachmair and Ganzinger\u2019s ordered resolution prover. Arch. Formal Proofs (2018). Formal proof development. http:\/\/isa-afp.org\/entries\/Functional_Ordered_Resolution_Prover.html","DOI":"10.29007\/pn71"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Schlichtkrull, A., Blanchette, J.C., Traytel, D.: A verified prover based on ordered resolution. In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, 14\u201315 January 2019, pp. 152\u2013165 (2019)","DOI":"10.1145\/3293880.3294100"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Schlichtkrull, A., Blanchette, J.C., Traytel, D., Waldmann, U.: Formalization of Bachmair and Ganzinger\u2019s ordered resolution prover. Arch. Formal Proofs (2018). https:\/\/www.isa-afp.org\/entries\/Ordered_Resolution_Prover.html","DOI":"10.29007\/pn71"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Schlichtkrull, A., Blanchette, J.C., Traytel, D., Waldmann, U.: Formalization of Bachmair and Ganzinger\u2019s ordered resolution prover. Arch. Formal Proofs (2018). Formal proof development. http:\/\/isa-afp.org\/entries\/Ordered_Resolution_Prover.html","DOI":"10.29007\/pn71"},{"key":"16_CR20","unstructured":"Wagner, G., Omolola, O., More, S.: Harmonizing delegation data formats. In: Open Identity Summit 2017, Gesellschaft f\u00fcr Informatik, Bonn, pp. 25\u201334 (2017)"},{"key":"16_CR21","unstructured":"Wagner, G., Wagner, S., More, S., Hoffmann, M.: DNS-based trust scheme publication and discovery. In: Open Identity Summit 2019, Gesellschaft f\u00fcr Informatik, Bonnd, pp. 49\u201358 (2019)"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Weinhardt, S., Omolola, O.: Usability of policy authoring tools: a layered approach. In: International Conference on Information Systems Security and Privacy (2019)","DOI":"10.5220\/0007355003010308"}],"container-title":["IFIP Advances in Information and Communication Technology","Trust Management XIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-33716-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T00:03:49Z","timestamp":1698105829000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-33716-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030337155","9783030337162"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-33716-2_16","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFIPTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Trust Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifiptm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifiptm2019.compute.dtu.dk\/IFIPTM19\/IFIPTM.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6 work-in-progress papers are also included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}