{"id":"https://openalex.org/W2153385317","doi":"https://doi.org/10.1109/32.345822","title":"Specification and validation of a security policy model","display_name":"Specification and validation of a security policy model","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2153385317","doi":"https://doi.org/10.1109/32.345822","mag":"2153385317"},"language":"en","primary_location":{"id":"doi:10.1109/32.345822","doi":"https://doi.org/10.1109/32.345822","is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.345822","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5057706655","display_name":"Anthony Boswell","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"A. Boswell","raw_affiliation_strings":["Logica, Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Logica, Cambridge, UK","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5057706655"],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":6.625,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.96536909,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"21","issue":"2","first_page":"63","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9115999937057495,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9115999937057495,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.041600000113248825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.012799999676644802,"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/security-policy-model","display_name":"security policy model","score":0.9169999957084656},{"id":"https://openalex.org/keywords/z-specification","display_name":"Z specification language","score":0.7089999914169312},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.7950000166893005},{"id":"https://openalex.org/keywords/model-validation","display_name":"model validation","score":0.8389999866485596},{"id":"https://openalex.org/keywords/multilevel-security","display_name":"multilevel security","score":0.9649999737739563},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.9110000133514404},{"id":"https://openalex.org/keywords/access-control","display_name":"access control","score":0.44200000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7762411832809448},{"id":"https://openalex.org/C3019813237","wikidata":"https://www.wikidata.org/wiki/Q65089264","display_name":"Model validation","level":2,"score":0.5006682872772217},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.4951838552951813},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4937978684902191},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.4806215167045593},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.47893840074539185},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43711966276168823},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3115258812904358},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.1722068190574646},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.16230598092079163}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/32.345822","doi":"https://doi.org/10.1109/32.345822","is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.345822","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W75234988","https://openalex.org/W172305180","https://openalex.org/W1532660561","https://openalex.org/W1767209519","https://openalex.org/W1794938916","https://openalex.org/W1836827168","https://openalex.org/W1991895580","https://openalex.org/W2152505375"],"related_works":["https://openalex.org/W2101599217","https://openalex.org/W2103800010","https://openalex.org/W2097861923","https://openalex.org/W2734813507","https://openalex.org/W1598822623","https://openalex.org/W2096070076","https://openalex.org/W2953627304","https://openalex.org/W3021327114","https://openalex.org/W7097894029","https://openalex.org/W2051402933"],"abstract_inverted_index":{"The":[0,27],"paper":[1],"describes":[2],"the":[3,14,37,46],"development":[4],"of":[5,36],"a":[6,22],"formal":[7],"security":[8],"policy":[9],"model":[10,28,47],"in":[11,41],"Z":[12],"for":[13],"NATO":[15],"Air":[16],"Command":[17],"and":[18,34,39,44],"Control":[19],"System":[20],"(ACCS):":[21],"large,":[23],"distributed,":[24],"multilevel-secure":[25],"system.":[26],"was":[29],"subject":[30],"to":[31],"manual":[32],"validation,":[33],"some":[35],"issues":[38],"lessons":[40],"both":[42],"writing":[43],"validating":[45],"are":[48],"discussed.>":[49]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}