{"id":"https://openalex.org/W1591765658","doi":"https://doi.org/10.1109/csfw.2003.1212707","title":"Understanding SPKI/SDSI using first-order logic","display_name":"Understanding SPKI/SDSI using first-order logic","publication_year":2004,"publication_date":"2004-01-23","ids":{"openalex":"https://openalex.org/W1591765658","doi":"https://doi.org/10.1109/csfw.2003.1212707","mag":"1591765658"},"language":"en","primary_location":{"id":"doi:10.1109/csfw.2003.1212707","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csfw.2003.1212707","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101471208","display_name":"Ninghui Li","orcid":"https://orcid.org/0000-0001-8207-9717"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ninghui Li","raw_affiliation_strings":["Department of Computer Science, University of Stanford, Stanford, CA, USA","[Dept. of Comput. Sci., Stanford Univ., CA, USA]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"[Dept. of Comput. Sci., Stanford Univ., CA, USA]","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101897622","display_name":"John C. Mitchell","orcid":"https://orcid.org/0000-0002-0024-860X"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J.C. Mitchell","raw_affiliation_strings":["Department of Computer Science, University of Stanford, Stanford, CA, USA","[Dept. of Comput. Sci., Stanford Univ., CA, USA]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Stanford, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"[Dept. of Comput. Sci., Stanford Univ., CA, USA]","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101471208"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":24.3711,"has_fulltext":false,"cited_by_count":56,"citation_normalized_percentile":{"value":0.99277244,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"51","issue":null,"first_page":"89","last_page":"103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9819999933242798,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7959119081497192},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7930665016174316},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.7067724466323853},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6695857644081116},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6197686195373535},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.44902265071868896},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.42097893357276917},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3849053978919983},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3508871793746948},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14052918553352356}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7959119081497192},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7930665016174316},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.7067724466323853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6695857644081116},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6197686195373535},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.44902265071868896},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.42097893357276917},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3849053978919983},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3508871793746948},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14052918553352356},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/csfw.2003.1212707","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csfw.2003.1212707","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.132.6628","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6628","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.purdue.edu/homes/ninghui/papers/spkisdsi_csfw03.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.136.8900","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.8900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.stanford.edu/~jcm/papers/sem_spki.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.57.9695","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.9695","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://theory.stanford.edu/people/jcm/papers/sem_spki.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1509539496","https://openalex.org/W1541434994","https://openalex.org/W1569881051","https://openalex.org/W1596887828","https://openalex.org/W1602828133","https://openalex.org/W1664400368","https://openalex.org/W1765797286","https://openalex.org/W1818789084","https://openalex.org/W1819010326","https://openalex.org/W1859131989","https://openalex.org/W1870880088","https://openalex.org/W1958859150","https://openalex.org/W1987339920","https://openalex.org/W1987379210","https://openalex.org/W2011992362","https://openalex.org/W2020992910","https://openalex.org/W2043144080","https://openalex.org/W2063727779","https://openalex.org/W2067580212","https://openalex.org/W2093111544","https://openalex.org/W2105470748","https://openalex.org/W2123440474","https://openalex.org/W2123479684","https://openalex.org/W2130656422","https://openalex.org/W2149262924","https://openalex.org/W2157464438","https://openalex.org/W2170496240","https://openalex.org/W2174448446","https://openalex.org/W2176962207","https://openalex.org/W2191303037","https://openalex.org/W2911521611","https://openalex.org/W2993902586","https://openalex.org/W4206370914","https://openalex.org/W4246140018"],"related_works":["https://openalex.org/W2955734379","https://openalex.org/W2951721119","https://openalex.org/W4293664763","https://openalex.org/W4302964898","https://openalex.org/W1805991041","https://openalex.org/W90089155","https://openalex.org/W2343223407","https://openalex.org/W1577182708","https://openalex.org/W2003031781","https://openalex.org/W1563917596"],"abstract_inverted_index":{"SPKI/SDSI":[0,121,133,177],"is":[1,39,67,107,139,173],"a":[2,17,50,89,126,140],"language":[3,141],"for":[4,22,78,92],"expressing":[5],"distributed":[6],"access":[7,54],"control":[8,55],"policy,":[9],"derived":[10],"from":[11],"SPKI":[12],"and":[13,24,46,56,181],"SDSI.":[14,156],"We":[15,61,86,131],"provide":[16,88],"first-order":[18],"logic":[19],"(FOL)":[20],"semantics":[21,38,66,73,91],"SDSI,":[23],"show":[25],"that":[26,63,148,172],"it":[27],"has":[28],"several":[29],"advantages":[30],"over":[31],"previous":[32],"semantics.":[33,85],"For":[34,98],"example,":[35,99],"the":[36,64,70,83,100,143],"FOL":[37,65,90],"easily":[40],"extended":[41],"to":[42,49,69,176],"additional":[43],"policy":[44,58],"concepts":[45],"gives":[47],"meaning":[48],"larger":[51],"class":[52],"of":[53,155,160],"other":[57,116],"analysis":[59],"queries.":[60],"prove":[62],"equivalent":[68],"string":[71],"rewriting":[72,84],"used":[74],"by":[75,115],"SDSI":[76],"designers,":[77],"all":[79],"queries":[80],"associated":[81],"with":[82,134],"also":[87],"SPKI/SDSI.":[93],"This":[94],"reveals":[95],"some":[96],"problems.":[97],"standard":[101],"proof":[102,128],"procedure":[103,129],"in":[104,120,142],"RFC":[105],"2693":[106],"semantically":[108,179],"incomplete.":[109],"In":[110],"addition,":[111],"as":[112,152],"noted":[113],"before":[114],"authors,":[117],"authorization":[118],"tags":[119],"are":[122],"algorithmically":[123,182],"problematic,":[124],"making":[125],"complete":[127],"unlikely.":[130],"compare":[132],"RT/sub":[135],"1//sup":[136,162],"C/,":[137,163],"which":[138],"RT":[144],"role-based":[145],"trust-management":[146],"framework":[147],"can":[149],"be":[150],"viewed":[151],"an":[153,169],"extension":[154],"The":[157],"constraint":[158,166],"feature":[159],"/sub":[161],"based":[164],"on":[165],"datalog,":[167],"provides":[168],"alternative":[170],"mechanism":[171],"expressively":[174],"similar":[175],"tags,":[178],"natural,":[180],"tractable.":[183]},"counts_by_year":[{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}