{"id":"https://openalex.org/W2169764307","doi":null,"title":"Quantification and formalization of security","display_name":"Quantification and formalization of security","publication_year":2010,"publication_date":"2010-02-01","ids":{"openalex":"https://openalex.org/W2169764307","mag":"2169764307"},"language":"en","primary_location":{"id":"pmh:oai:ecommons.cornell.edu:1813/14744","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1813/14744","pdf_url":"https://hdl.handle.net/1813/14744","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"dissertation or thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/1813/14744","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111878704","display_name":"Michael R. Clarkson","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael R. Clarkson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5111878704"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8291000127792358,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8291000127792358,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.1168999969959259,"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/T10126","display_name":"Logic, programming, and type systems","score":0.025200000032782555,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/quantitative-information-flow","display_name":"quantitative information flow","score":0.9810000061988831},{"id":"https://openalex.org/keywords/confidentiality","display_name":"confidentiality","score":0.6740000247955322},{"id":"https://openalex.org/keywords/integrity","display_name":"integrity","score":0.9649999737739563},{"id":"https://openalex.org/keywords/hyperproperties","display_name":"hyperproperties","score":0.9160000085830688},{"id":"https://openalex.org/keywords/trace-properties","display_name":"trace properties","score":0.996999979019165},{"id":"https://openalex.org/keywords/secure-information-flow","display_name":"information flow security","score":0.7009999752044678},{"id":"https://openalex.org/keywords/safety-and-liveness-properties","display_name":"safety and liveness properties","score":0.796999990940094},{"id":"https://openalex.org/keywords/uncertainty","display_name":"uncertainty","score":0.5600000023841858},{"id":"https://openalex.org/keywords/refinement","display_name":"refinement","score":0.33500000834465027},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.5849999785423279}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5370408892631531},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.36823129653930664}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:ecommons.cornell.edu:1813/14744","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1813/14744","pdf_url":"https://hdl.handle.net/1813/14744","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"dissertation or thesis"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.187.8966","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8966","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cornell.edu/people/clarkson/papers/clarkson_dissertation.pdf","raw_type":"text"},{"id":"mag:2169764307","doi":null,"is_oa":false,"landing_page_url":"https://apps.dtic.mil/dtic/tr/fulltext/u2/1000328.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:ecommons.cornell.edu:1813/14744","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1813/14744","pdf_url":"https://hdl.handle.net/1813/14744","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"dissertation or thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2760447424","display_name":"Integrating Security and Fault Tolerance in Distributed Systems","funder_award_id":"0430161","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4524359699","display_name":null,"funder_award_id":"N00014-01-1-0968","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6104336868","display_name":"Team for Research in Ubiquitous Secure Technology (TRUST)","funder_award_id":"0424422","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7006679372","display_name":"CAREER: Practical Language-Based End-to-End Security","funder_award_id":"0133302","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7090116110","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"},{"id":"https://openalex.org/G8395388196","display_name":"End-to-end Integrity and Confidentiality for Distributed Systems","funder_award_id":"0208642","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307791","display_name":"Cisco Systems","ror":"https://ror.org/03yt1ez60"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"},{"id":"https://openalex.org/F4320332923","display_name":"U.S. Navy","ror":"https://ror.org/03ar0mv07"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338287","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2169764307.pdf","grobid_xml":"https://content.openalex.org/works/W2169764307.grobid-xml"},"referenced_works_count":120,"referenced_works":["https://openalex.org/W24959583","https://openalex.org/W82129843","https://openalex.org/W191839766","https://openalex.org/W228428197","https://openalex.org/W300764728","https://openalex.org/W1503973138","https://openalex.org/W1504504841","https://openalex.org/W1505465226","https://openalex.org/W1511494208","https://openalex.org/W1511668635","https://openalex.org/W1521738965","https://openalex.org/W1526328753","https://openalex.org/W1559155956","https://openalex.org/W1569728954","https://openalex.org/W1581155387","https://openalex.org/W1582331515","https://openalex.org/W1582716554","https://openalex.org/W1586448612","https://openalex.org/W1640592531","https://openalex.org/W1734364899","https://openalex.org/W1882297107","https://openalex.org/W1892798954","https://openalex.org/W1959279725","https://openalex.org/W1963436944","https://openalex.org/W1968724592","https://openalex.org/W1973641744","https://openalex.org/W1977764760","https://openalex.org/W1984356484","https://openalex.org/W1984478483","https://openalex.org/W1989431565","https://openalex.org/W1993941352","https://openalex.org/W1995875735","https://openalex.org/W2000181146","https://openalex.org/W2002097778","https://openalex.org/W2004306067","https://openalex.org/W2016377072","https://openalex.org/W2024355065","https://openalex.org/W2037987389","https://openalex.org/W2038353186","https://openalex.org/W2038478160","https://openalex.org/W2039319436","https://openalex.org/W2040669676","https://openalex.org/W2044285874","https://openalex.org/W2045656233","https://openalex.org/W2055655687","https://openalex.org/W2056277260","https://openalex.org/W2058602146","https://openalex.org/W2067887313","https://openalex.org/W2071776923","https://openalex.org/W2076964487","https://openalex.org/W2078114603","https://openalex.org/W2078250023","https://openalex.org/W2094873755","https://openalex.org/W2096094850","https://openalex.org/W2097151854","https://openalex.org/W2099111195","https://openalex.org/W2099137371","https://openalex.org/W2099610583","https://openalex.org/W2100019646","https://openalex.org/W2100666033","https://openalex.org/W2102970979","https://openalex.org/W2104658241","https://openalex.org/W2106192381","https://openalex.org/W2106969392","https://openalex.org/W2108104925","https://openalex.org/W2110050316","https://openalex.org/W2111552846","https://openalex.org/W2117189826","https://openalex.org/W2117320004","https://openalex.org/W2117879955","https://openalex.org/W2119966192","https://openalex.org/W2121824862","https://openalex.org/W2122049982","https://openalex.org/W2123858370","https://openalex.org/W2124251840","https://openalex.org/W2129858673","https://openalex.org/W2130099852","https://openalex.org/W2130241416","https://openalex.org/W2132334337","https://openalex.org/W2133996557","https://openalex.org/W2134296086","https://openalex.org/W2139799388","https://openalex.org/W2139913531","https://openalex.org/W2141126977","https://openalex.org/W2144992712","https://openalex.org/W2147462260","https://openalex.org/W2152179604","https://openalex.org/W2152505375","https://openalex.org/W2153703803","https://openalex.org/W2156299128","https://openalex.org/W2157014526","https://openalex.org/W2157153384","https://openalex.org/W2157828581","https://openalex.org/W2158196184","https://openalex.org/W2159897734","https://openalex.org/W2162022335","https://openalex.org/W2162041048","https://openalex.org/W2162283517","https://openalex.org/W2162750692","https://openalex.org/W2163790120","https://openalex.org/W2165958853","https://openalex.org/W2166180744","https://openalex.org/W2170018380","https://openalex.org/W2170270083","https://openalex.org/W2177254373","https://openalex.org/W2181673201","https://openalex.org/W2293400264","https://openalex.org/W2294311096","https://openalex.org/W2294561170","https://openalex.org/W2339337913","https://openalex.org/W2340406763","https://openalex.org/W2613359208","https://openalex.org/W2626976157","https://openalex.org/W2737563519","https://openalex.org/W2914206182","https://openalex.org/W2987977008","https://openalex.org/W3033571618","https://openalex.org/W3144368627","https://openalex.org/W3144627111","https://openalex.org/W3188901040"],"related_works":["https://openalex.org/W4243284147","https://openalex.org/W7096700990","https://openalex.org/W7098953140","https://openalex.org/W2796692218","https://openalex.org/W3019092873","https://openalex.org/W2129858673","https://openalex.org/W2963472894","https://openalex.org/W7098296545","https://openalex.org/W2112430612","https://openalex.org/W2169359651"],"abstract_inverted_index":{"Computer":[0],"security":[1,94,127],"policies":[2,19,95,114],"often":[3],"are":[4,68,115,120,149,179,189],"stated":[5],"informally":[6],"in":[7,40,49,62,72,96],"terms":[8],"of":[9,14,34,52,100,103,122,165,177],"confidentiality,":[10],"integrity,":[11,30],"and":[12,16,29,147,156,169,175],"availability":[13],"information":[15,36,42,132],"resources;":[17],"these":[18],"can":[20,83,141],"be":[21,84,135,142,162],"qualitative":[22],"or":[23,90],"quantitative.":[24],"To":[25,92],"formally":[26],"quantify":[27],"confidentiality":[28],"a":[31,98,166,170],"new":[32,57,76],"model":[33,58,77],"quantitative":[35,64],"flow":[37,43],"is":[38,44,78,111,159],"proposed":[39],"which":[41,67,119],"quantified":[45],"as":[46,117,130,137,144],"the":[47,50,75,101,163],"change":[48,71],"accuracy":[51,89],"an":[53],"observer\u2019s":[54],"beliefs.":[55],"This":[56],"resolves":[59],"anomalies":[60],"present":[61],"previous":[63],"informationflow":[65],"models,":[66],"based":[69],"on":[70],"uncertainty.":[73,91],"And":[74],"sufficiently":[79],"general":[80],"that":[81],"it":[82],"instantiated":[85],"to":[86,154,161],"measure":[87],"either":[88],"formalize":[93],"general,":[97],"generalization":[99],"theory":[102],"trace":[104,123,138,152,187],"properties":[105,153],"(originally":[106],"developed":[107],"for":[108,183],"program":[109],"verification)":[110],"proposed.":[112],"Security":[113],"modeled":[116],"hyperproperties,":[118,155],"sets":[121,188],"properties.":[124],"Although":[125],"important":[126],"policies,":[128],"such":[129],"secure":[131],"flow,":[133],"cannot":[134],"expressed":[136,143],"properties,":[139],"they":[140],"hyperproperties.":[145],"Safety":[146],"liveness":[148,171],"generalized":[150],"from":[151],"every":[157],"hyperproperty":[158,168],"shown":[160],"intersection":[164],"safety":[167],"hyperproperty.":[172],"Verification,":[173],"refinement,":[174],"topology":[176],"hyperproperties":[178],"also":[180],"addressed.":[181],"Hyperproperties":[182],"system":[184],"representations":[185],"beyond":[186],"investigated.":[190]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}