{"id":"https://openalex.org/W2053683701","doi":"https://doi.org/10.1145/2752952.2752954","title":"A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies","display_name":"A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W2053683701","doi":"https://doi.org/10.1145/2752952.2752954","mag":"2053683701"},"language":"en","primary_location":{"id":"doi:10.1145/2752952.2752954","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2752952.2752954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th 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/A5039827178","display_name":"Alessandro Armando","orcid":"https://orcid.org/0000-0002-5246-2157"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alessandro Armando","raw_affiliation_strings":["DIBRIS, University of Genvoa, Genova & Security and Trust Unit, FBK-Irst, Trento, Italy"],"affiliations":[{"raw_affiliation_string":"DIBRIS, University of Genvoa, Genova & Security and Trust Unit, FBK-Irst, Trento, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047487115","display_name":"Silvio Ranise","orcid":"https://orcid.org/0000-0001-7269-9285"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Silvio Ranise","raw_affiliation_strings":["Security and Trust Unit, FBK-Irst, Trento, Italy"],"affiliations":[{"raw_affiliation_string":"Security and Trust Unit, FBK-Irst, Trento, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028151866","display_name":"Riccardo Traverso","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Riccardo Traverso","raw_affiliation_strings":["Security and Trust Unit, FBK-Irst, Trento, Italy"],"affiliations":[{"raw_affiliation_string":"Security and Trust Unit, FBK-Irst, Trento, Italy","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011301282","display_name":"Konrad Wrona","orcid":"https://orcid.org/0000-0002-3362-9820"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Konrad Wrona","raw_affiliation_strings":["NATO Communications and Information Agency, The Hague, Netherlands","[NATO Communications and Information Agency, The Hague, Netherlands]"],"affiliations":[{"raw_affiliation_string":"NATO Communications and Information Agency, The Hague, Netherlands","institution_ids":[]},{"raw_affiliation_string":"[NATO Communications and Information Agency, The Hague, Netherlands]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5039827178"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0957645,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"151","last_page":"155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9998999834060669,"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.9998999834060669,"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.998199999332428,"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/T10734","display_name":"Information and Cyber Security","score":0.9927999973297119,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.8252583742141724},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7483855485916138},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6806042194366455},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6666690707206726},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6385617256164551},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5693964958190918},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5310466885566711},{"id":"https://openalex.org/keywords/information-sharing","display_name":"Information sharing","score":0.47412586212158203},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45703446865081787},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.4375540614128113},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3785219192504883},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.18339258432388306},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.11264514923095703}],"concepts":[{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.8252583742141724},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7483855485916138},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6806042194366455},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6666690707206726},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6385617256164551},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5693964958190918},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5310466885566711},{"id":"https://openalex.org/C2776854237","wikidata":"https://www.wikidata.org/wiki/Q6031064","display_name":"Information sharing","level":2,"score":0.47412586212158203},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45703446865081787},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.4375540614128113},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3785219192504883},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.18339258432388306},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.11264514923095703},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2752952.2752954","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2752952.2752954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th ACM Symposium on Access Control Models and Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.unitn.it:11572/333074","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/333074","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1581578065","https://openalex.org/W2042231659","https://openalex.org/W2070199221","https://openalex.org/W2080047026","https://openalex.org/W2097171586","https://openalex.org/W2105505307","https://openalex.org/W2113585531","https://openalex.org/W2166602595","https://openalex.org/W2177058209","https://openalex.org/W6609189045","https://openalex.org/W6676304849"],"related_works":["https://openalex.org/W2393973626","https://openalex.org/W2473372874","https://openalex.org/W2105261429","https://openalex.org/W2107355607","https://openalex.org/W2012419258","https://openalex.org/W318167434","https://openalex.org/W1482564230","https://openalex.org/W4285408982","https://openalex.org/W2127259385","https://openalex.org/W2004929657"],"abstract_inverted_index":{"NATO":[0,46,94],"is":[1,67],"developing":[2],"a":[3,59,89],"new":[4],"IT":[5],"infrastructure":[6],"for":[7,58],"automated":[8],"information":[9,13],"sharing":[10],"between":[11],"different":[12],"security":[14,56,95],"domains":[15],"and":[16,19,32,43,65,72,78],"supporting":[17],"dynamic":[18],"flexible":[20],"enforcement":[21,44,73],"of":[22,45,62,88,92,107],"the":[23,29,41,51],"need-to-know":[24],"principle.":[25],"In":[26,81],"this":[27,82],"context,":[28],"Content-based":[30],"Protection":[31],"Release":[33],"(CPR)":[34],"model":[35],"has":[36],"been":[37],"introduced":[38],"to":[39,53],"support":[40],"specification":[42],"access":[47],"control":[48],"policies.":[49],"While":[50],"ability":[52],"define":[54],"fine-grained":[55],"policies":[57],"large":[60],"variety":[61],"users,":[63],"resources,":[64],"devices":[66],"desirable,":[68],"their":[69],"definition,":[70],"maintenance,":[71],"can":[74],"be":[75],"difficult,":[76],"time-consuming,":[77],"error":[79],"prone.":[80],"paper,":[83],"we":[84],"give":[85],"an":[86],"overview":[87],"tool":[90,111],"capable":[91],"assisting":[93],"personnel":[96],"in":[97],"these":[98],"tasks":[99],"by":[100],"automatically":[101],"solving":[102],"several":[103],"policy":[104],"analysis":[105],"problems":[106],"practical":[108],"interest.":[109],"The":[110],"levarages":[112],"state-of-the-art":[113],"SMT":[114],"solvers.":[115]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}