{"id":"https://openalex.org/W2171837288","doi":"https://doi.org/10.1145/1063979.1064001","title":"Verifiable composition of access control and application features","display_name":"Verifiable composition of access control and application features","publication_year":2005,"publication_date":"2005-06-01","ids":{"openalex":"https://openalex.org/W2171837288","doi":"https://doi.org/10.1145/1063979.1064001","mag":"2171837288"},"language":"en","primary_location":{"id":"doi:10.1145/1063979.1064001","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1063979.1064001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth 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/A5051230023","display_name":"Eun-Jee Song","orcid":"https://orcid.org/0000-0002-8680-9411"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eunjee Song","raw_affiliation_strings":["Colorado State University, Fort Collins, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, Fort Collins, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022148572","display_name":"Y. Raghu Reddy","orcid":"https://orcid.org/0009-0000-9401-4478"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raghu Reddy","raw_affiliation_strings":["Colorado State University, Fort Collins, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, Fort Collins, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048942832","display_name":"Robert France","orcid":"https://orcid.org/0000-0002-9171-8426"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert France","raw_affiliation_strings":["Colorado State University, Fort Collins, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, Fort Collins, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008904412","display_name":"Indrakshi Ray","orcid":"https://orcid.org/0000-0002-0714-7676"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Indrakshi Ray","raw_affiliation_strings":["Colorado State University, Fort Collins, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, Fort Collins, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108228294","display_name":"Geri Georg","orcid":null},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Geri Georg","raw_affiliation_strings":["Colorado State University, Fort Collins, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, Fort Collins, CO","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113676592","display_name":"Roger T. Alexander","orcid":null},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roger Alexander","raw_affiliation_strings":["Colorado State University, Fort Collins, CO"],"affiliations":[{"raw_affiliation_string":"Colorado State University, Fort Collins, CO","institution_ids":["https://openalex.org/I92446798"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5051230023"],"corresponding_institution_ids":["https://openalex.org/I92446798"],"apc_list":null,"apc_paid":null,"fwci":25.0196,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.99339483,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"120","last_page":"129"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9994999766349792,"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.9994999766349792,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9962999820709229,"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/access-control","display_name":"Access control","score":0.7610279321670532},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7403412461280823},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.651196300983429},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5012392997741699},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4772898256778717},{"id":"https://openalex.org/keywords/primary","display_name":"Primary (astronomy)","score":0.4637250304222107},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.44246992468833923},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.4420079290866852},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4239656925201416},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35335737466812134},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2169923484325409},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20148393511772156},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11631801724433899}],"concepts":[{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.7610279321670532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7403412461280823},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.651196300983429},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5012392997741699},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4772898256778717},{"id":"https://openalex.org/C2777977315","wikidata":"https://www.wikidata.org/wiki/Q7243056","display_name":"Primary (astronomy)","level":2,"score":0.4637250304222107},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.44246992468833923},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.4420079290866852},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4239656925201416},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35335737466812134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2169923484325409},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20148393511772156},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11631801724433899},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1063979.1064001","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1063979.1064001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth ACM symposium on Access control models and technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.63.5066","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.5066","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.colostate.edu/~iray/research/sacmat05.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4300000071525574}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W48130830","https://openalex.org/W1486178352","https://openalex.org/W1521203270","https://openalex.org/W1558011697","https://openalex.org/W1567372807","https://openalex.org/W1602650507","https://openalex.org/W1603155494","https://openalex.org/W1604301660","https://openalex.org/W1963957280","https://openalex.org/W1986989788","https://openalex.org/W1997502136","https://openalex.org/W2015479359","https://openalex.org/W2034823949","https://openalex.org/W2040023747","https://openalex.org/W2046398106","https://openalex.org/W2057334711","https://openalex.org/W2092064278","https://openalex.org/W2096874051","https://openalex.org/W2128780623","https://openalex.org/W2134226558","https://openalex.org/W2138561498","https://openalex.org/W2154765153","https://openalex.org/W3000135916","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2355730523","https://openalex.org/W152021879","https://openalex.org/W2072918937","https://openalex.org/W2365629437","https://openalex.org/W2023935927","https://openalex.org/W2348330439","https://openalex.org/W2350372928","https://openalex.org/W2377292126","https://openalex.org/W2139109546","https://openalex.org/W2128900334"],"abstract_inverted_index":{"Access":[0],"control":[1,38,50,80,108],"features":[2,21,51,60,81],"are":[3,52,61,82,141],"often":[4],"spread":[5],"across":[6],"and":[7,18,57,70,111,121,138],"tangled":[8],"with":[9,84],"other":[10,41,58,85],"functionality":[11],"in":[12,22,77,106,135],"a":[13,23,64,74,118,122],"design.":[14],"This":[15],"makes":[16],"modifying":[17],"replacing":[19],"these":[20],"design":[24,43,75],"difficult.":[25],"Aspect-oriented":[26],"modeling":[27],"(AOM)":[28],"techniques":[29],"can":[30],"be":[31],"used":[32],"to":[33,145,150],"support":[34],"separation":[35],"of":[36,68,103],"access":[37,49,79,107],"concerns":[39],"from":[40],"application":[42,59,86],"concerns.":[44],"Using":[45],"an":[46,94,96,115],"AOM":[47,97],"approach,":[48],"described":[53,62,105],"by":[54,63],"aspect":[55,69,109,116,137],"models":[56,72,110,140],"primary":[65,71,112,119,139],"model.":[66],"Composition":[67],"yields":[73],"model":[76,155],"which":[78],"integrated":[83],"features.":[87],"In":[88],"this":[89],"paper,":[90],"we":[91],"present,":[92],"through":[93],"example,":[95],"approach":[98],"that":[99,152],"supports":[100],"verifiable":[101],"composition":[102,126],"behaviors":[104],"models.":[113],"Given":[114],"model,":[117,120],"specified":[123,158],"property,":[124],"the":[125,132,136,147,153,157],"technique":[127],"produces":[128],"proof":[129,148],"obligations":[130,149],"as":[131],"behavioral":[133],"descriptions":[134],"composed.":[142],"One":[143],"has":[144,156],"discharge":[146],"establish":[151],"composed":[154],"property.":[159]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}