{"_id":"H6WWNnK63HrFoxyH3","bibbaseid":"howell-kotz-aformalsemanticsforspki-2000","downloads":0,"creationDate":"2019-02-15T15:15:01.099Z","title":"A Formal Semantics for SPKI","author_short":["Howell, J.","Kotz, D."],"year":2000,"bibtype":"techreport","biburl":null,"bibdata":{"title":"A Formal Semantics for SPKI","type":"techreport","year":"2000","keywords":"dartmouth-cs,distributed-computing,security","issue":"TR2000-363","websites":"http://www.cs.dartmouth.edu/~dfk/papers/howell-spki-tr.pdf","month":"3","institution":"Dartmouth Computer Science","id":"f1a7b19b-f487-33af-a882-e5ff6b0bf33a","created":"2018-07-12T21:32:15.183Z","file_attached":false,"profile_id":"f954d000-ce94-3da6-bd26-b983145a920f","group_id":"b0b145a3-980e-3ad7-a16f-c93918c606ed","last_modified":"2018-07-12T21:32:15.183Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"howell:spki-tr","source_type":"techreport","notes":"Extended version of a paper that was submitted to ESORICS 2000. Supercedes PCS-TR99-361.","private_publication":false,"abstract":"We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions. We discuss both extensions that our semantics supports and extensions that it cautions against.","bibtype":"techreport","author":"Howell, Jon and Kotz, David","bibtex":"@techreport{\n title = {A Formal Semantics for SPKI},\n type = {techreport},\n year = {2000},\n keywords = {dartmouth-cs,distributed-computing,security},\n issue = {TR2000-363},\n websites = {http://www.cs.dartmouth.edu/~dfk/papers/howell-spki-tr.pdf},\n month = {3},\n institution = {Dartmouth Computer Science},\n id = {f1a7b19b-f487-33af-a882-e5ff6b0bf33a},\n created = {2018-07-12T21:32:15.183Z},\n file_attached = {false},\n profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},\n group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},\n last_modified = {2018-07-12T21:32:15.183Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {howell:spki-tr},\n source_type = {techreport},\n notes = {Extended version of a paper that was submitted to ESORICS 2000. Supercedes PCS-TR99-361.},\n private_publication = {false},\n abstract = {We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions. We discuss both extensions that our semantics supports and extensions that it cautions against.},\n bibtype = {techreport},\n author = {Howell, Jon and Kotz, David}\n}","author_short":["Howell, J.","Kotz, D."],"urls":{"Website":"http://www.cs.dartmouth.edu/~dfk/papers/howell-spki-tr.pdf"},"bibbaseid":"howell-kotz-aformalsemanticsforspki-2000","role":"author","keyword":["dartmouth-cs","distributed-computing","security"],"downloads":0},"search_terms":["formal","semantics","spki","howell","kotz"],"keywords":["dartmouth-cs","distributed-computing","security","distributed computing"],"authorIDs":[]}