{"id":"https://openalex.org/W2093139587","doi":"https://doi.org/10.1145/2462410.2463207","title":"Property-testing real-world authorization systems","display_name":"Property-testing real-world authorization systems","publication_year":2013,"publication_date":"2013-06-05","ids":{"openalex":"https://openalex.org/W2093139587","doi":"https://doi.org/10.1145/2462410.2463207","mag":"2093139587"},"language":"en","primary_location":{"id":"doi:10.1145/2462410.2463207","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2462410.2463207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM symposium on Access control models and technologies","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/A5089848354","display_name":"Alireza Sharifi","orcid":"https://orcid.org/0000-0001-7110-7516"},"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":true,"raw_author_name":"Alireza Sharifi","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016419491","display_name":"Paul Bottinelli","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Paul Bottinelli","raw_affiliation_strings":["EPFL, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","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 V. Tripunitara","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089848354"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.9752,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85598338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"225","last_page":"236"},"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.9973999857902527,"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.994700014591217,"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.7870265245437622},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6239172220230103},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5893734097480774},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5741277933120728},{"id":"https://openalex.org/keywords/authorization","display_name":"Authorization","score":0.5302944779396057},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.49825024604797363},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48097360134124756},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4175175428390503},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3512130379676819},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34964877367019653}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7870265245437622},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6239172220230103},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5893734097480774},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5741277933120728},{"id":"https://openalex.org/C108759981","wikidata":"https://www.wikidata.org/wiki/Q788590","display_name":"Authorization","level":2,"score":0.5302944779396057},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.49825024604797363},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48097360134124756},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4175175428390503},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3512130379676819},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34964877367019653},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2462410.2463207","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2462410.2463207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th ACM symposium on Access control models and technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W163562308","https://openalex.org/W1507039213","https://openalex.org/W1514815005","https://openalex.org/W1679534293","https://openalex.org/W1878113412","https://openalex.org/W2019341062","https://openalex.org/W2036757496","https://openalex.org/W2053741629","https://openalex.org/W2054251041","https://openalex.org/W2081888787","https://openalex.org/W2098557548","https://openalex.org/W2115960391","https://openalex.org/W2136650506","https://openalex.org/W2151347870","https://openalex.org/W2152053098","https://openalex.org/W2913502225","https://openalex.org/W3020947624","https://openalex.org/W3023191323","https://openalex.org/W3104921985"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W2002978035","https://openalex.org/W2209382646"],"abstract_inverted_index":{"We":[0,18,84],"motivate":[1],"and":[2,40,50,75,92,119],"address":[3],"the":[4,77,116,120,129,136,139,143,146,160,175,179],"problem":[5],"of":[6,10,15,35,73,88,101,138,145,162,190],"testing":[7,150],"for":[8,81,97],"properties":[9,102,189],"interest":[11],"in":[12,60,103,159],"real-world":[13],"implementations":[14],"authorization":[16,106,157],"systems.":[17,107],"adopt":[19,47],"a":[20,25,44,57,65,68,89,110,123],"4-stage":[21],"process:":[22],"(1)":[23],"express":[24],"property":[26,58],"precisely":[27],"using":[28],"existential":[29],"second-order":[30],"logic,":[31],"(2)":[32],"establish":[33,43],"types":[34],"traces":[36],"that":[37,52,113,126,164,185],"are":[38,172],"necessary":[39],"sufficient":[41],"to":[42,70,79,95,169,174],"property,":[45],"(3)":[46],"finitizing":[48],"assumptions":[49],"show":[51],"under":[53],"those":[54,82],"assumptions,":[55],"verifying":[56],"is":[59,109,122],"PSPACE,":[61],"and,":[62],"(4)":[63],"use":[64,94,133],"model-checker":[66],"as":[67],"trace-generator":[69],"generate":[71],"instances":[72],"traces,":[74],"exercise":[76],"implementation":[78],"check":[80],"traces.":[83],"discuss":[85],"our":[86,149,170],"design":[87],"corresponding":[90],"testing-system,":[91],"its":[93,156],"test":[96],"qualitatively":[98],"different":[99],"kinds":[100],"two":[104],"commercial":[105],"One":[108],"database":[111],"system":[112,125,158],"we":[114,127,182],"call":[115,128],"D":[117,147],"system,":[118,148,181],"other":[121],"file-sharing":[124],"I":[130,180],"system.":[131],"(We":[132],"pseudonyms":[134],"at":[135],"request":[137],"respective":[140],"vendors.)":[141],"In":[142],"context":[144,161],"has":[151],"uncovered":[152],"several":[153,188],"issues":[154],"with":[155],"procedures":[163],"aggregate":[165],"SQL":[166],"statements":[167],"that,":[168],"knowledge,":[171],"new":[173],"research":[176],"literature.":[177],"For":[178],"have":[183],"established":[184],"it":[186],"possesses":[187],"interest.":[191]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}