{"id":"https://openalex.org/W4293196941","doi":"https://doi.org/10.1007/978-3-031-08679-3_2","title":"Process Algebra Can Save Lives: Static Analysis of\u00a0XACML Access Control Policies Using mCRL2","display_name":"Process Algebra Can Save Lives: Static Analysis of\u00a0XACML Access Control Policies Using mCRL2","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4293196941","doi":"https://doi.org/10.1007/978-3-031-08679-3_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-08679-3_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-08679-3_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/c4ee7d70-bc72-4666-8c61-5098b55757a4","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034198593","display_name":"Hamed Arshad","orcid":"https://orcid.org/0000-0003-3885-7408"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Hamed Arshad","raw_affiliation_strings":["University of Oslo, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087967629","display_name":"Ross Horne","orcid":"https://orcid.org/0000-0003-0162-1901"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Ross Horne","raw_affiliation_strings":["University of Luxembourg, Esch-sur-Alzette, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052790680","display_name":"Christian Johansen","orcid":"https://orcid.org/0000-0002-1525-0307"},"institutions":[{"id":"https://openalex.org/I204778367","display_name":"Norwegian University of Science and Technology","ror":"https://ror.org/05xg72x27","country_code":"NO","type":"education","lineage":["https://openalex.org/I204778367"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Christian Johansen","raw_affiliation_strings":["Norwegian University of Science and Technology, Gj\u00f8vik, Norway"],"affiliations":[{"raw_affiliation_string":"Norwegian University of Science and Technology, Gj\u00f8vik, Norway","institution_ids":["https://openalex.org/I204778367"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101582233","display_name":"Olaf Owe","orcid":"https://orcid.org/0000-0003-0976-5678"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Olaf Owe","raw_affiliation_strings":["University of Oslo, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042194099","display_name":"Tim A. C. Willemse","orcid":"https://orcid.org/0000-0003-3049-7962"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tim A. C. Willemse","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034198593"],"corresponding_institution_ids":["https://openalex.org/I184942183"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.2242,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.94343881,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"11","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9987000226974487,"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.9987000226974487,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"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.9858999848365784,"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/xacml","display_name":"XACML","score":0.9913312196731567},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7854701280593872},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.7695077657699585},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.6924754977226257},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6816319823265076},{"id":"https://openalex.org/keywords/markup-language","display_name":"Markup language","score":0.6188953518867493},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5502557158470154},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5207797884941101},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4425343871116638},{"id":"https://openalex.org/keywords/xpath","display_name":"XPath","score":0.43709200620651245},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4304274320602417},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.41447919607162476},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38826483488082886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38113275170326233},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.38028642535209656},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.35332340002059937},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2074427604675293},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16765964031219482}],"concepts":[{"id":"https://openalex.org/C2779886121","wikidata":"https://www.wikidata.org/wiki/Q288682","display_name":"XACML","level":3,"score":0.9913312196731567},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7854701280593872},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.7695077657699585},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.6924754977226257},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6816319823265076},{"id":"https://openalex.org/C45874996","wikidata":"https://www.wikidata.org/wiki/Q37045","display_name":"Markup language","level":3,"score":0.6188953518867493},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5502557158470154},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5207797884941101},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4425343871116638},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.43709200620651245},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4304274320602417},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.41447919607162476},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38826483488082886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38113275170326233},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.38028642535209656},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35332340002059937},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2074427604675293},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16765964031219482},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-08679-3_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-08679-3_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:openaire/c4ee7d70-bc72-4666-8c61-5098b55757a4","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/c4ee7d70-bc72-4666-8c61-5098b55757a4","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Arshad, H, Horne, R, Johansen, C, Owe, O & Willemse, T A C 2022, Process Algebra Can Save Lives : Static Analysis of\u00a0XACML Access Control Policies Using mCRL2. in M R Mousavi & A Philippou (eds), Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13\u201317, 2022, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13273, Springer, Cham, pp. 11-30, 42nd IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, 13/06/22. https://doi.org/10.1007/978-3-031-08679-3_2","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/c4ee7d70-bc72-4666-8c61-5098b55757a4","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/c4ee7d70-bc72-4666-8c61-5098b55757a4","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Arshad, H, Horne, R, Johansen, C, Owe, O & Willemse, T A C 2022, Process Algebra Can Save Lives : Static Analysis of\u00a0XACML Access Control Policies Using mCRL2. in M R Mousavi & A Philippou (eds), Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13\u201317, 2022, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13273, Springer, Cham, pp. 11-30, 42nd IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, 13/06/22. https://doi.org/10.1007/978-3-031-08679-3_2","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1596186423","https://openalex.org/W1606078215","https://openalex.org/W1639901403","https://openalex.org/W2011274796","https://openalex.org/W2062192948","https://openalex.org/W2069728203","https://openalex.org/W2071392700","https://openalex.org/W2080267935","https://openalex.org/W2113182678","https://openalex.org/W2126324650","https://openalex.org/W2129340874","https://openalex.org/W2146356111","https://openalex.org/W2344674963","https://openalex.org/W2583825628","https://openalex.org/W2749040653","https://openalex.org/W2917085175","https://openalex.org/W2931334490","https://openalex.org/W2972056595","https://openalex.org/W2997458326","https://openalex.org/W3005929894","https://openalex.org/W3173885982","https://openalex.org/W4211008702","https://openalex.org/W4230290951","https://openalex.org/W4252542281","https://openalex.org/W4293196941","https://openalex.org/W6637181287"],"related_works":["https://openalex.org/W2298494124","https://openalex.org/W2125405387","https://openalex.org/W2049536973","https://openalex.org/W3144583911","https://openalex.org/W2048884112","https://openalex.org/W2511940485","https://openalex.org/W1543516846","https://openalex.org/W1908225099","https://openalex.org/W2340898265","https://openalex.org/W200768973"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}