{"id":"https://openalex.org/W2294615205","doi":"https://doi.org/10.1145/356850.356853","title":"Verifying Security","display_name":"Verifying Security","publication_year":1981,"publication_date":"1981-09-01","ids":{"openalex":"https://openalex.org/W2294615205","doi":"https://doi.org/10.1145/356850.356853","mag":"2294615205"},"language":"en","primary_location":{"id":"doi:10.1145/356850.356853","doi":"https://doi.org/10.1145/356850.356853","is_oa":true,"landing_page_url":"https://doi.org/10.1145/356850.356853","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/356850.356853","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-a","jufo-3","ki-jl-2","norway-2","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/356850.356853","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077200979","display_name":"Maureen Harris Cheheyl","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Maureen Harris Cheheyl","raw_affiliation_strings":["The MITRE Corporation, Bedford, Massachusetts"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, Bedford, Massachusetts","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046569145","display_name":"Morrie Gasser","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morrie Gasser","raw_affiliation_strings":["The MITRE Corporation, Bedford, Massachusetts"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, Bedford, Massachusetts","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082918581","display_name":"George A. Huff","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George A. Huff","raw_affiliation_strings":["The MITRE Corporation, Bedford, Massachusetts"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, Bedford, Massachusetts","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069709699","display_name":"Jonathan K. Millen","orcid":"https://orcid.org/0000-0003-1896-5225","observed_orcids":["https://orcid.org/0000-0003-1896-5225"]},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan K. Millen","raw_affiliation_strings":["The MITRE Corporation, Bedford, Massachusetts"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, Bedford, Massachusetts","institution_ids":["https://openalex.org/I44896327"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I44896327"],"apc_list":null,"apc_paid":null,"fwci":9.432,"has_fulltext":true,"cited_by_count":67,"citation_normalized_percentile":{"value":0.9771167,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"13","issue":"3","first_page":"279","last_page":"339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7300000190734863,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.7300000190734863,"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/T10927","display_name":"Access Control and Trust","score":0.05220000073313713,"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/T10142","display_name":"Formal Methods in Verification","score":0.04699999839067459,"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-verification","display_name":"security verification","score":0.7850000262260437},{"id":"https://openalex.org/keywords/cybersecurity","display_name":"cybersecurity","score":0.7149999737739563},{"id":"https://openalex.org/keywords/operating-system-security","display_name":"operating system security","score":0.46799999475479126}],"concepts":[{"id":"https://openalex.org/C2778348171","wikidata":"https://www.wikidata.org/wiki/Q167037","display_name":"Corporation","level":2,"score":0.8374708890914917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5435582995414734},{"id":"https://openalex.org/C67101536","wikidata":"https://www.wikidata.org/wiki/Q5535910","display_name":"George (robot)","level":2,"score":0.5049658417701721},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.47821566462516785},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4419138431549072},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12911805510520935},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09792089462280273},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.05235332250595093}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/356850.356853","doi":"https://doi.org/10.1145/356850.356853","is_oa":true,"landing_page_url":"https://doi.org/10.1145/356850.356853","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/356850.356853","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-a","jufo-3","ki-jl-2","norway-2","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/356850.356853","doi":"https://doi.org/10.1145/356850.356853","is_oa":true,"landing_page_url":"https://doi.org/10.1145/356850.356853","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/356850.356853","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","dongbi-a","jufo-3","ki-jl-2","norway-2","poland-200","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2294615205.pdf","grobid_xml":"https://content.openalex.org/works/W2294615205.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W60682534","https://openalex.org/W79228844","https://openalex.org/W191839766","https://openalex.org/W230185449","https://openalex.org/W1483595780","https://openalex.org/W1508046216","https://openalex.org/W1543374071","https://openalex.org/W1572552461","https://openalex.org/W1575546064","https://openalex.org/W1589655416","https://openalex.org/W1993302007","https://openalex.org/W2011399941","https://openalex.org/W2014942166","https://openalex.org/W2015874281","https://openalex.org/W2016944512","https://openalex.org/W2025146477","https://openalex.org/W2030430791","https://openalex.org/W2048168398","https://openalex.org/W2053409086","https://openalex.org/W2057602126","https://openalex.org/W2070034573","https://openalex.org/W2070061575","https://openalex.org/W2079282627","https://openalex.org/W2085818042","https://openalex.org/W2094873755","https://openalex.org/W2099137371","https://openalex.org/W2124136217","https://openalex.org/W2129278597","https://openalex.org/W2132064361","https://openalex.org/W2134570288","https://openalex.org/W2162041048","https://openalex.org/W2165121897","https://openalex.org/W2971146852","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W3167011080","https://openalex.org/W4211182250","https://openalex.org/W4230605145","https://openalex.org/W4251912342","https://openalex.org/W4255257842","https://openalex.org/W4285719527","https://openalex.org/W6633099233","https://openalex.org/W6654054180","https://openalex.org/W7015406290"],"related_works":["https://openalex.org/W2003318896","https://openalex.org/W2043241997","https://openalex.org/W2073140248","https://openalex.org/W110871680","https://openalex.org/W1995464322","https://openalex.org/W2575358363","https://openalex.org/W2062897351","https://openalex.org/W4240440887","https://openalex.org/W7204466908","https://openalex.org/W7124556978"],"abstract_inverted_index":{"article":[0],"Free":[1],"Access":[2],"Share":[3],"on":[4,122],"Verifying":[5],"Security":[6],"Authors:":[7],"Maureen":[8],"Harris":[9],"Cheheyl":[10],"The":[11,16,25,30,40,45,55,60],"MITRE":[12,17,26,31,41,46,56,61],"Corporation,":[13,18,27,32,42,47,57,62],"Bedford,":[14,19,28,33,43,48,58,63],"Massachusetts":[15,29,44,59],"MassachusettsView":[20,34,49,64],"Profile":[21,35,50,65],",":[22,36,51],"Morrie":[23],"Gasser":[24],"George":[37],"A.":[38],"Huff":[39],"Jonathan":[52],"K.":[53],"Millen":[54],"Authors":[66],"Info":[67],"&":[68],"Claims":[69],"ACM":[70],"Computing":[71],"SurveysVolume":[72],"13Issue":[73],"3Sept.":[74],"1981":[75],"pp":[76],"279\u2013339https://doi.org/10.1145/356850.356853Online:01":[77],"September":[78],"1981Publication":[79],"History":[80],"49citation1,920DownloadsMetricsTotal":[81],"Citations49Total":[82],"Downloads1,920Last":[83],"12":[84],"Months9Last":[85],"6":[86],"weeks0":[87],"Get":[88],"Citation":[89,91,128],"AlertsNew":[90,127],"Alert":[92],"added!This":[93],"alert":[94,119],"has":[95,114],"been":[96,115],"successfully":[97],"added":[98],"and":[99],"will":[100,104],"be":[101,105],"sent":[102],"to:You":[103],"notified":[106],"whenever":[107],"a":[108,140],"record":[109],"that":[110],"you":[111],"have":[112],"chosen":[113],"cited.To":[116],"manage":[117],"your":[118,133],"preferences,":[120],"click":[121],"the":[123],"button":[124],"below.Manage":[125],"my":[126],"Alert!Please":[129],"log":[130],"in":[131],"to":[132,136,138],"account":[134],"Save":[135],"BinderSave":[137],"BinderCreate":[139],"New":[141],"BinderNameCancelCreateExport":[142],"CitationPublisher":[143],"SiteeReaderPDF":[144]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}