{"id":"https://openalex.org/W2602365947","doi":"https://doi.org/10.1145/3041048.3041049","title":"Verification of Resilience Policies that Assist Attribute Based Access Control","display_name":"Verification of Resilience Policies that Assist Attribute Based Access Control","publication_year":2017,"publication_date":"2017-03-24","ids":{"openalex":"https://openalex.org/W2602365947","doi":"https://doi.org/10.1145/3041048.3041049","mag":"2602365947"},"language":"en","primary_location":{"id":"doi:10.1145/3041048.3041049","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3041048.3041049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.lancs.ac.uk/id/eprint/84251/1/ABAC_2017_CM.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000804944","display_name":"Antonios Gouglidis","orcid":"https://orcid.org/0000-0002-4702-3942"},"institutions":[{"id":"https://openalex.org/I67415387","display_name":"Lancaster University","ror":"https://ror.org/04f2nsd36","country_code":"GB","type":"education","lineage":["https://openalex.org/I67415387"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Antonios Gouglidis","raw_affiliation_strings":["School of Computing and Communications, Lancaster, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Communications, Lancaster, UK","institution_ids":["https://openalex.org/I67415387"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091259454","display_name":"Vincent C. Hu","orcid":"https://orcid.org/0000-0002-1646-0584"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vincent C. Hu","raw_affiliation_strings":["Computer Security Division, NIST, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Security Division, NIST, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111999218","display_name":"Jeremy Busby","orcid":null},"institutions":[{"id":"https://openalex.org/I67415387","display_name":"Lancaster University","ror":"https://ror.org/04f2nsd36","country_code":"GB","type":"education","lineage":["https://openalex.org/I67415387"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jeremy S. Busby","raw_affiliation_strings":["Department of Management Science, Lancaster, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Management Science, Lancaster, UK","institution_ids":["https://openalex.org/I67415387"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030962937","display_name":"David Hutchison","orcid":"https://orcid.org/0000-0001-6052-0559"},"institutions":[{"id":"https://openalex.org/I67415387","display_name":"Lancaster University","ror":"https://ror.org/04f2nsd36","country_code":"GB","type":"education","lineage":["https://openalex.org/I67415387"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Hutchison","raw_affiliation_strings":["School of Computing and Communications, Lancaster, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Communications, Lancaster, UK","institution_ids":["https://openalex.org/I67415387"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"52"},"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.9868000149726868,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9695000052452087,"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/xacml","display_name":"XACML","score":0.8022541999816895},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.7933815717697144},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.7870184183120728},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7683638334274292},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5586594939231873},{"id":"https://openalex.org/keywords/nist","display_name":"NIST","score":0.5287178158760071},{"id":"https://openalex.org/keywords/role-based-access-control","display_name":"Role-based access control","score":0.48471689224243164},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4767554700374603},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45314937829971313},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4179016649723053}],"concepts":[{"id":"https://openalex.org/C2779886121","wikidata":"https://www.wikidata.org/wiki/Q288682","display_name":"XACML","level":3,"score":0.8022541999816895},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.7933815717697144},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.7870184183120728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7683638334274292},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5586594939231873},{"id":"https://openalex.org/C111219384","wikidata":"https://www.wikidata.org/wiki/Q6954384","display_name":"NIST","level":2,"score":0.5287178158760071},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.48471689224243164},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4767554700374603},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45314937829971313},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4179016649723053},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"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/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3041048.3041049","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3041048.3041049","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.lancs.ac.uk:84251","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.lancs.ac.uk/id/eprint/84251/1/ABAC_2017_CM.pdf","source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Contribution in Book/Report/Proceedings"}],"best_oa_location":{"id":"pmh:oai:eprints.lancs.ac.uk:84251","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.lancs.ac.uk/id/eprint/84251/1/ABAC_2017_CM.pdf","source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Contribution in Book/Report/Proceedings"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1027570511","display_name":"Hybrid Risk Management for Utility Networks","funder_award_id":"608090","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2602365947.pdf","grobid_xml":"https://content.openalex.org/works/W2602365947.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W177923951","https://openalex.org/W1498432697","https://openalex.org/W1568275823","https://openalex.org/W1964889053","https://openalex.org/W1970736012","https://openalex.org/W1997199359","https://openalex.org/W2030164717","https://openalex.org/W2038953226","https://openalex.org/W2068121936","https://openalex.org/W2087834864","https://openalex.org/W2089354885","https://openalex.org/W2103317919","https://openalex.org/W2126361828","https://openalex.org/W2156885966","https://openalex.org/W2310109484","https://openalex.org/W2418605222","https://openalex.org/W2555374783","https://openalex.org/W2749040653","https://openalex.org/W3102379243","https://openalex.org/W6675844770"],"related_works":["https://openalex.org/W2371841920","https://openalex.org/W2372156812","https://openalex.org/W2392187120","https://openalex.org/W2374393728","https://openalex.org/W2571946640","https://openalex.org/W2386545329","https://openalex.org/W2612447197","https://openalex.org/W2298912813","https://openalex.org/W1920330819","https://openalex.org/W2139115530"],"abstract_inverted_index":{"Access":[0],"control":[1,5,28,117,154],"offers":[2],"mechanisms":[3],"to":[4,34,53,57,94,109,127,131,134,138,205],"and":[6,105,167,182,217],"limit":[7],"the":[8,41,45,121,140,162,207,212],"actions":[9],"or":[10],"operations":[11],"that":[12,31,96],"are":[13,32,107],"performed":[14],"by":[15,161],"a":[16,19,24,86,124,220],"user":[17],"on":[18,158],"set":[20],"of":[21,40,47,63,78,83,89,111,123,142,165,191,214],"resources":[22,106],"in":[23,44,69,73,80,115,144,179],"system.":[25],"Many":[26],"access":[27,56,64,98,116,133,145,153],"models":[29,49],"exist":[30],"able":[33],"support":[35],"this":[36,81],"basic":[37],"requirement.":[38],"One":[39],"properties":[42],"examined":[43],"context":[46],"these":[48,184],"is":[50,92,99,118,193],"their":[51],"ability":[52,122],"successfully":[54],"restrict":[55,128],"resources.":[58,135],"Nevertheless,":[59],"considering":[60],"only":[61],"restriction":[62],"may":[65,203],"not":[66,126],"be":[67,177,186],"enough":[68],"some":[70],"environments,":[71],"as":[72,120,219],"critical":[74],"infrastructures.":[75],"The":[76,189],"protection":[77],"systems":[79],"type":[82],"environment":[84],"requires":[85],"new":[87],"line":[88],"enquiry.":[90],"It":[91],"essential":[93],"ensure":[95,132],"appropriate":[97],"always":[100],"possible,":[101],"even":[102],"when":[103],"users":[104],"subjected":[108],"challenges":[110],"various":[112],"sorts.":[113],"Resilience":[114],"conceived":[119],"system":[125],"but":[129],"rather":[130],"In":[136],"order":[137],"demonstrate":[139],"application":[141],"resilience":[143,174,192,215],"control,":[146],"we":[147],"formally":[148,187],"define":[149],"an":[150,196],"attribute":[151],"based":[152,157],"model":[155,198],"(ABAC)":[156],"guidelines":[159],"provided":[160],"National":[163],"Institute":[164],"Standards":[166],"Technology":[168],"(NIST).":[169],"We":[170],"examine":[171],"how":[172,183],"ABAC-based":[173],"policies":[175,216],"can":[176,185],"specified":[178],"temporal":[180],"logic":[181],"verified.":[188],"verification":[190,213],"done":[194],"using":[195],"automated":[197],"checking":[199],"technique,":[200],"which":[201],"eventually":[202],"lead":[204],"reducing":[206],"overall":[208],"complexity":[209],"required":[210],"for":[211,223],"serve":[218],"valuable":[221],"tool":[222],"administrators.":[224]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}