{"id":"https://openalex.org/W2295316430","doi":"https://doi.org/10.1007/978-1-4419-5906-5_854","title":"Formal Methods and Access Control","display_name":"Formal Methods and Access Control","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2295316430","doi":"https://doi.org/10.1007/978-1-4419-5906-5_854","mag":"2295316430"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4419-5906-5_854","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4419-5906-5_854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Cryptography and Security","raw_type":"book-chapter"},"type":"book-chapter","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/A5105928180","display_name":"Michael Huth","orcid":"https://orcid.org/0000-0001-9229-3055"},"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":true,"raw_author_name":"Michael Huth","raw_affiliation_strings":["Department of Computing, Imperial College London, 180 Queen\u2019s Gate, South Kensington Campus, SW7 2AZ, London, UK","Department of Computing, Imperial College London, 180 Queen's Gate, South Kensington Campus, SW7 2AZ, London, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, 180 Queen\u2019s Gate, South Kensington Campus, SW7 2AZ, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College London, 180 Queen's Gate, South Kensington Campus, SW7 2AZ, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5105928180"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14247229,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"494","last_page":"495"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9955000281333923,"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.9955000281333923,"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.9926999807357788,"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/T10142","display_name":"Formal Methods in Verification","score":0.9868999719619751,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.4044647216796875},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.3208252787590027}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4044647216796875},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.3208252787590027}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-4419-5906-5_854","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4419-5906-5_854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Cryptography and Security","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W60907133","https://openalex.org/W153093637","https://openalex.org/W1541738285","https://openalex.org/W1987339920","https://openalex.org/W2069728203","https://openalex.org/W2072694646","https://openalex.org/W2120237629","https://openalex.org/W2129920522","https://openalex.org/W2131903956","https://openalex.org/W2816273116","https://openalex.org/W2892989012","https://openalex.org/W4246490342"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}