{"id":"https://openalex.org/W1975584929","doi":"https://doi.org/10.1145/2445566.2445570","title":"Mohawk","display_name":"Mohawk","publication_year":2013,"publication_date":"2013-04-01","ids":{"openalex":"https://openalex.org/W1975584929","doi":"https://doi.org/10.1145/2445566.2445570","mag":"1975584929"},"language":"en","primary_location":{"id":"doi:10.1145/2445566.2445570","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2445566.2445570","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System Security","raw_type":"journal-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/A5016178612","display_name":"Karthick Jayaraman","orcid":"https://orcid.org/0009-0005-9502-9360"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Karthick Jayaraman","raw_affiliation_strings":["Microsoft"],"affiliations":[{"raw_affiliation_string":"Microsoft","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081788400","display_name":"Mahesh Tripunitara","orcid":"https://orcid.org/0000-0002-3615-9393"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mahesh Tripunitara","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052292970","display_name":"Vijay Ganesh","orcid":"https://orcid.org/0000-0002-6029-2047"},"institutions":[{"id":"https://openalex.org/I4210109586","display_name":"Moscow Institute of Thermal Technology","ror":"https://ror.org/021es5e59","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210109586"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Vijay Ganesh","raw_affiliation_strings":["MIT"],"affiliations":[{"raw_affiliation_string":"MIT","institution_ids":["https://openalex.org/I4210109586"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045127387","display_name":"Martin Rinard","orcid":"https://orcid.org/0000-0001-8095-8523"},"institutions":[{"id":"https://openalex.org/I4210109586","display_name":"Moscow Institute of Thermal Technology","ror":"https://ror.org/021es5e59","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210109586"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Martin Rinard","raw_affiliation_strings":["MIT"],"affiliations":[{"raw_affiliation_string":"MIT","institution_ids":["https://openalex.org/I4210109586"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013358324","display_name":"Steve J. Chapin","orcid":null},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steve Chapin","raw_affiliation_strings":["Syracuse University","syracuse University"],"affiliations":[{"raw_affiliation_string":"Syracuse University","institution_ids":["https://openalex.org/I70983195"]},{"raw_affiliation_string":"syracuse University","institution_ids":["https://openalex.org/I70983195"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016178612"],"corresponding_institution_ids":["https://openalex.org/I4210164937"],"apc_list":null,"apc_paid":null,"fwci":15.6031,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.98625802,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"15","issue":"4","first_page":"1","last_page":"28"},"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.9868999719619751,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.955299973487854,"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.8777772784233093},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8498379588127136},{"id":"https://openalex.org/keywords/role-based-access-control","display_name":"Role-based access control","score":0.7271189093589783},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.63504958152771},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.6261723637580872},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5763440728187561},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5509424209594727},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5110974907875061},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.45806413888931274},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3697972297668457},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.20208927989006042},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07584360241889954}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8777772784233093},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8498379588127136},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.7271189093589783},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.63504958152771},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.6261723637580872},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5763440728187561},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5509424209594727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5110974907875061},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.45806413888931274},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3697972297668457},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.20208927989006042},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07584360241889954},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2445566.2445570","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2445566.2445570","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1518747853","https://openalex.org/W1527224316","https://openalex.org/W1580113137","https://openalex.org/W1594783407","https://openalex.org/W1819209966","https://openalex.org/W1831889228","https://openalex.org/W1963754732","https://openalex.org/W1979579813","https://openalex.org/W1981111031","https://openalex.org/W1997862012","https://openalex.org/W1998568597","https://openalex.org/W2006841241","https://openalex.org/W2015653806","https://openalex.org/W2029472400","https://openalex.org/W2038696466","https://openalex.org/W2043144080","https://openalex.org/W2044968788","https://openalex.org/W2049595656","https://openalex.org/W2064070192","https://openalex.org/W2065076704","https://openalex.org/W2075263851","https://openalex.org/W2080154162","https://openalex.org/W2082000355","https://openalex.org/W2099742748","https://openalex.org/W2101191741","https://openalex.org/W2103317919","https://openalex.org/W2110076463","https://openalex.org/W2110640424","https://openalex.org/W2111753337","https://openalex.org/W2127574686","https://openalex.org/W2128361829","https://openalex.org/W2129340874","https://openalex.org/W2129487583","https://openalex.org/W2135481006","https://openalex.org/W2136543655","https://openalex.org/W2137661662","https://openalex.org/W2140890531","https://openalex.org/W2143492458","https://openalex.org/W2145793726","https://openalex.org/W2146356111","https://openalex.org/W2150060143","https://openalex.org/W2152053098","https://openalex.org/W2155891251","https://openalex.org/W2160795275","https://openalex.org/W2166602595","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W3167011080","https://openalex.org/W4214931895","https://openalex.org/W4248500311","https://openalex.org/W6645545920","https://openalex.org/W6681994216"],"related_works":["https://openalex.org/W2372156812","https://openalex.org/W2374393728","https://openalex.org/W2386545329","https://openalex.org/W2382286253","https://openalex.org/W2356011375","https://openalex.org/W1795360416","https://openalex.org/W2392979115","https://openalex.org/W1969771171","https://openalex.org/W819284483","https://openalex.org/W2370002471"],"abstract_inverted_index":{"Verifying":[0],"that":[1,88,186],"access-control":[2,17,176],"systems":[3,18],"maintain":[4],"desired":[5],"security":[6,59],"properties":[7],"is":[8,30,62,155,161],"recognized":[9],"as":[10],"an":[11,159,175],"important":[12],"problem":[13],"in":[14,53,174],"security.":[15],"Enterprise":[16],"have":[19,170],"grown":[20],"to":[21,35,49,91,94,190],"protect":[22],"tens":[23],"of":[24,26,80,115,122,125],"thousands":[25],"resources,":[27],"and":[28,43,65,85,137,145,157,164,193],"there":[29],"a":[31,195],"need":[32],"for":[33,41,45,70],"verification":[34,96],"scale":[36],"commensurately.":[37],"We":[38,101,169,183],"present":[39],"techniques":[40,141],"abstraction-refinement":[42,78],"bound-estimation":[44,113],"bounded":[46,150],"model":[47,151],"checkers":[48],"automatically":[50],"find":[51],"errors":[52],"Administrative":[54],"Role-Based":[55,71],"Access":[56,72],"Control":[57,73],"(ARBAC)":[58],"policies.":[60],"ARBAC":[61],"the":[63,77,95,112,120,123,126,130],"first":[64],"most":[66],"comprehensive":[67],"administrative":[68],"scheme":[69],"(RBAC)":[74],"systems.":[75],"In":[76,111],"portion":[79,114],"our":[81,116,172],"approach,":[82,117],"we":[83,118],"identify":[84],"discard":[86],"roles":[87,106,136],"are":[89,146],"unlikely":[90],"be":[92],"relevant":[93],"question":[97],"(the":[98,108],"abstraction":[99],"step).":[100],"then":[102],"restore":[103],"such":[104],"abstracted":[105],"incrementally":[107],"refinement":[109],"steps).":[110],"lower":[119],"estimate":[121],"diameter":[124],"reachability":[127],"graph":[128],"from":[129],"worst-case":[131],"by":[132],"recognizing":[133],"relationships":[134],"between":[135],"state-change":[138],"rules.":[139],"Our":[140,153],"complement":[142],"one":[143],"another,":[144],"used":[147],"with":[148,197],"conventional":[149],"checking.":[152],"approach":[154],"sound":[156],"complete:":[158],"error":[160],"found":[162],"if":[163,166],"only":[165],"it":[167],"exists.":[168],"implemented":[171],"technique":[173],"policy":[177],"analysis":[178],"tool":[179],"called":[180],"Mohawk":[181,187],".":[182],"show":[184],"empirically":[185],"scales":[188],"well":[189],"realistic":[191],"policies,":[192],"provide":[194],"comparison":[196],"prior":[198],"tools.":[199]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}