{"id":"https://openalex.org/W2133555576","doi":"https://doi.org/10.1145/1533057.1533091","title":"Expressive policy analysis with enhanced system dynamicity","display_name":"Expressive policy analysis with enhanced system dynamicity","publication_year":2009,"publication_date":"2009-03-10","ids":{"openalex":"https://openalex.org/W2133555576","doi":"https://doi.org/10.1145/1533057.1533091","mag":"2133555576"},"language":"en","primary_location":{"id":"doi:10.1145/1533057.1533091","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1533057.1533091","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th International Symposium on Information, Computer, and Communications Security","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/A5108611463","display_name":"Robert Craven","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Robert Craven","raw_affiliation_strings":["Imperial College, London","Imperial College London,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London,#TAB#","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105652031","display_name":"Jorge Lobo","orcid":"https://orcid.org/0000-0002-9438-0926"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jorge Lobo","raw_affiliation_strings":["IBM T.J. Watson Research Center","IBM T.J. Watson research Center"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center","institution_ids":[]},{"raw_affiliation_string":"IBM T.J. Watson research Center","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049631171","display_name":"Jiefei Ma","orcid":"https://orcid.org/0009-0003-0147-841X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jiefei Ma","raw_affiliation_strings":["Imperial College, London","Imperial College London,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London,#TAB#","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046462940","display_name":"Alessandra Russo","orcid":"https://orcid.org/0000-0002-3318-8711"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandra Russo","raw_affiliation_strings":["Imperial College, London","Imperial College London,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London,#TAB#","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065619732","display_name":"Emil Lupu","orcid":"https://orcid.org/0000-0002-2844-3917"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Emil Lupu","raw_affiliation_strings":["Imperial College, London","Imperial College London,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College, London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London,#TAB#","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059750294","display_name":"Arosha K. Bandara","orcid":"https://orcid.org/0000-0001-8974-0555"},"institutions":[{"id":"https://openalex.org/I8679417","display_name":"Hong Kong Metropolitan University","ror":"https://ror.org/0349bsm71","country_code":"HK","type":"education","lineage":["https://openalex.org/I8679417"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Arosha Bandara","raw_affiliation_strings":["Open University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Open University","institution_ids":["https://openalex.org/I8679417"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":39.3071,"has_fulltext":false,"cited_by_count":81,"citation_normalized_percentile":{"value":0.99723163,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"250"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9909999966621399,"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/T11424","display_name":"Security and Verification in Computing","score":0.9882000088691711,"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/authorization","display_name":"Authorization","score":0.8001850843429565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7182865142822266},{"id":"https://openalex.org/keywords/policy-analysis","display_name":"Policy analysis","score":0.6413835287094116},{"id":"https://openalex.org/keywords/systems-analysis","display_name":"Systems analysis","score":0.44542258977890015},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3957698345184326},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37608659267425537},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36238592863082886},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3560464382171631},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2630113363265991},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.12649992108345032},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.12303605675697327},{"id":"https://openalex.org/keywords/public-administration","display_name":"Public administration","score":0.11037573218345642}],"concepts":[{"id":"https://openalex.org/C108759981","wikidata":"https://www.wikidata.org/wiki/Q788590","display_name":"Authorization","level":2,"score":0.8001850843429565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7182865142822266},{"id":"https://openalex.org/C123587114","wikidata":"https://www.wikidata.org/wiki/Q2101508","display_name":"Policy analysis","level":2,"score":0.6413835287094116},{"id":"https://openalex.org/C24119478","wikidata":"https://www.wikidata.org/wiki/Q679871","display_name":"Systems analysis","level":2,"score":0.44542258977890015},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3957698345184326},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37608659267425537},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36238592863082886},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3560464382171631},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2630113363265991},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.12649992108345032},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.12303605675697327},{"id":"https://openalex.org/C3116431","wikidata":"https://www.wikidata.org/wiki/Q31728","display_name":"Public administration","level":1,"score":0.11037573218345642}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1533057.1533091","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1533057.1533091","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th International Symposium on Information, Computer, and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1026.8278","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1026.8278","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://spiral.imperial.ac.uk/bitstream/10044/1/10259/2/asiaccs.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.503.7852","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.7852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.doc.ic.ac.uk/~ecl1/papers/2009asiaccs.pdf","raw_type":"text"},{"id":"pmh:oai:oro.open.ac.uk:18489","is_oa":false,"landing_page_url":"https://oro.open.ac.uk/18489/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401187","display_name":"Open Research Online (The Open University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204136569","host_organization_name":"The Open University","host_organization_lineage":["https://openalex.org/I204136569"],"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":"PeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5899999737739563,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1526098002","https://openalex.org/W1544658515","https://openalex.org/W1544900534","https://openalex.org/W1593637886","https://openalex.org/W1599739130","https://openalex.org/W1605658354","https://openalex.org/W1672891595","https://openalex.org/W1733247015","https://openalex.org/W1749560176","https://openalex.org/W1983817047","https://openalex.org/W1997862012","https://openalex.org/W2012419258","https://openalex.org/W2025315843","https://openalex.org/W2029030698","https://openalex.org/W2040234252","https://openalex.org/W2049272900","https://openalex.org/W2078139775","https://openalex.org/W2084621663","https://openalex.org/W2095956815","https://openalex.org/W2100579696","https://openalex.org/W2103317919","https://openalex.org/W2121381561","https://openalex.org/W2124697609","https://openalex.org/W2131903956","https://openalex.org/W2134167896","https://openalex.org/W2143492458","https://openalex.org/W2144794336","https://openalex.org/W2146356111","https://openalex.org/W2159753366","https://openalex.org/W2162171351","https://openalex.org/W2165892480","https://openalex.org/W2168884369","https://openalex.org/W2213239865","https://openalex.org/W2524588181","https://openalex.org/W2624424081","https://openalex.org/W2899987233","https://openalex.org/W6637298476","https://openalex.org/W6675844770","https://openalex.org/W6683341661"],"related_works":["https://openalex.org/W4235015634","https://openalex.org/W2724882332","https://openalex.org/W2117923609","https://openalex.org/W4234860444","https://openalex.org/W1525729407","https://openalex.org/W318910614","https://openalex.org/W2349196039","https://openalex.org/W189751768","https://openalex.org/W159334057","https://openalex.org/W2057515314"],"abstract_inverted_index":{"Despite":[0],"several":[1],"research":[2],"studies,":[3],"the":[4],"effective":[5],"analysis":[6,16,47],"of":[7,26,66],"policy":[8,46],"based":[9],"systems":[10],"remains":[11],"a":[12,32,44,67],"significant":[13,56],"challenge.":[14],"Policy":[15],"should":[17],"at":[18],"least":[19],"(i)":[20],"be":[21,60],"expressive":[22],"(ii)":[23],"take":[24],"account":[25],"obligations":[27],"and":[28,36,62],"authorizations,":[29],"(iii)":[30],"include":[31],"dynamic":[33],"system":[34],"model,":[35],"(iv)":[37],"give":[38,64],"useful":[39],"diagnostic":[40],"information.":[41],"We":[42],"present":[43],"logic-based":[45],"framework":[48],"which":[49],"satisfies":[50],"these":[51],"requirements,":[52],"showing":[53],"how":[54],"many":[55],"policy-related":[57],"properties":[58],"can":[59],"analysed,":[61],"we":[63],"details":[65],"prototype":[68],"implementation.":[69]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":12}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}