{"id":"https://openalex.org/W2186841663","doi":null,"title":"Expressive and enforceable information security policies","display_name":"Expressive and enforceable information security policies","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2186841663","mag":"2186841663"},"language":"en","primary_location":{"id":"mag:2186841663","doi":null,"is_oa":false,"landing_page_url":"http://people.seas.harvard.edu/~chong/pubs/chong_dissertation.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},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5101697549","display_name":"Andrew C. Myers","orcid":"https://orcid.org/0000-0001-5819-7588","observed_orcids":["https://orcid.org/0000-0001-5819-7588"]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew C. Myers","raw_affiliation_strings":["cornell University"],"raw_orcid":"https://orcid.org/0000-0001-5819-7588","affiliations":[{"raw_affiliation_string":"cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046383149","display_name":"Stephen Chong","orcid":"https://orcid.org/0000-0002-6734-5383","observed_orcids":["https://orcid.org/0000-0002-6734-5383"]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Chong","raw_affiliation_strings":["cornell University"],"raw_orcid":"https://orcid.org/0000-0002-6734-5383","affiliations":[{"raw_affiliation_string":"cornell University","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.654,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.84080971,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":95},"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/T11424","display_name":"Security and Verification in Computing","score":0.8452000021934509,"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.8452000021934509,"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.10530000180006027,"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"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.01899999938905239,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/information-security-policy","display_name":"information security policy","score":0.8420000076293945},{"id":"https://openalex.org/keywords/declassification","display_name":"declassification","score":0.8109999895095825},{"id":"https://openalex.org/keywords/erasure","display_name":"erasure","score":0.8259999752044678},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.8050000071525574},{"id":"https://openalex.org/keywords/non-interference","display_name":"non-interference","score":0.6919999718666077},{"id":"https://openalex.org/keywords/semantic-security","display_name":"semantic security","score":0.7870000004768372},{"id":"https://openalex.org/keywords/mutual-distrust","display_name":"mutual distrust","score":0.902999997138977},{"id":"https://openalex.org/keywords/information-flow-control","display_name":"information flow control","score":0.9129999876022339}],"concepts":[{"id":"https://openalex.org/C2778321746","wikidata":"https://www.wikidata.org/wiki/Q621922","display_name":"Distrust","level":2,"score":0.7430807948112488},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7231934070587158},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.685127317905426},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.6721845865249634},{"id":"https://openalex.org/C2778790127","wikidata":"https://www.wikidata.org/wiki/Q484885","display_name":"Erasure","level":2,"score":0.6522539854049683},{"id":"https://openalex.org/C204806902","wikidata":"https://www.wikidata.org/wiki/Q2333581","display_name":"Semantic security","level":5,"score":0.5609893202781677},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5501641631126404},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4877777695655823},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.4488714337348938},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.357081800699234},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.12695756554603577},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.12650573253631592},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.11013257503509521},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.08911275863647461},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C7646194","wikidata":"https://www.wikidata.org/wiki/Q4818713","display_name":"Attribute-based encryption","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2186841663","doi":null,"is_oa":false,"landing_page_url":"http://people.seas.harvard.edu/~chong/pubs/chong_dissertation.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":null,"sustainable_development_goals":[{"score":0.6601999998092651,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":148,"referenced_works":["https://openalex.org/W25384345","https://openalex.org/W141971178","https://openalex.org/W164550212","https://openalex.org/W174059713","https://openalex.org/W238861864","https://openalex.org/W338833589","https://openalex.org/W343737952","https://openalex.org/W1480741301","https://openalex.org/W1499226144","https://openalex.org/W1502268999","https://openalex.org/W1503761302","https://openalex.org/W1504714130","https://openalex.org/W1509266941","https://openalex.org/W1510473343","https://openalex.org/W1519434878","https://openalex.org/W1521474031","https://openalex.org/W1522146952","https://openalex.org/W1559155956","https://openalex.org/W1575803950","https://openalex.org/W1577352907","https://openalex.org/W1578960746","https://openalex.org/W1581993637","https://openalex.org/W1589073307","https://openalex.org/W1594455430","https://openalex.org/W1603844035","https://openalex.org/W1605295442","https://openalex.org/W1644882639","https://openalex.org/W1683403723","https://openalex.org/W1699577049","https://openalex.org/W1739542898","https://openalex.org/W1819958245","https://openalex.org/W1888344413","https://openalex.org/W1897580059","https://openalex.org/W1898399499","https://openalex.org/W1957951093","https://openalex.org/W1972238918","https://openalex.org/W1972567665","https://openalex.org/W1977764760","https://openalex.org/W1984356484","https://openalex.org/W1984478483","https://openalex.org/W1986681115","https://openalex.org/W1993941352","https://openalex.org/W1996107803","https://openalex.org/W2006611045","https://openalex.org/W2009057019","https://openalex.org/W2011333687","https://openalex.org/W2029693536","https://openalex.org/W2030762383","https://openalex.org/W2036910349","https://openalex.org/W2039319436","https://openalex.org/W2040669676","https://openalex.org/W2043100293","https://openalex.org/W2049962807","https://openalex.org/W2063997960","https://openalex.org/W2066266646","https://openalex.org/W2070034573","https://openalex.org/W2075849836","https://openalex.org/W2078114603","https://openalex.org/W2079029390","https://openalex.org/W2086234010","https://openalex.org/W2092336238","https://openalex.org/W2092422002","https://openalex.org/W2094313385","https://openalex.org/W2094873755","https://openalex.org/W2095762545","https://openalex.org/W2096094850","https://openalex.org/W2097833793","https://openalex.org/W2100579696","https://openalex.org/W2100666033","https://openalex.org/W2101152030","https://openalex.org/W2104152314","https://openalex.org/W2106226772","https://openalex.org/W2106969392","https://openalex.org/W2108074136","https://openalex.org/W2109332509","https://openalex.org/W2109387928","https://openalex.org/W2109614775","https://openalex.org/W2110904621","https://openalex.org/W2112214363","https://openalex.org/W2112414131","https://openalex.org/W2113350481","https://openalex.org/W2113660296","https://openalex.org/W2118036973","https://openalex.org/W2118410985","https://openalex.org/W2119702232","https://openalex.org/W2120350928","https://openalex.org/W2120926795","https://openalex.org/W2121988324","https://openalex.org/W2122049982","https://openalex.org/W2122522758","https://openalex.org/W2123479684","https://openalex.org/W2124251840","https://openalex.org/W2126469755","https://openalex.org/W2128487827","https://openalex.org/W2129211121","https://openalex.org/W2129278597","https://openalex.org/W2129858673","https://openalex.org/W2130207003","https://openalex.org/W2130241416","https://openalex.org/W2132185316","https://openalex.org/W2132461047","https://openalex.org/W2133422510","https://openalex.org/W2134296086","https://openalex.org/W2134927156","https://openalex.org/W2135046885","https://openalex.org/W2135103842","https://openalex.org/W2136025860","https://openalex.org/W2136296832","https://openalex.org/W2137689716","https://openalex.org/W2138158983","https://openalex.org/W2138220911","https://openalex.org/W2139093088","https://openalex.org/W2140508184","https://openalex.org/W2141210774","https://openalex.org/W2141890389","https://openalex.org/W2141988808","https://openalex.org/W2144786703","https://openalex.org/W2148127931","https://openalex.org/W2148791173","https://openalex.org/W2148973616","https://openalex.org/W2149465027","https://openalex.org/W2150174204","https://openalex.org/W2152505375","https://openalex.org/W2153155256","https://openalex.org/W2154564703","https://openalex.org/W2156456150","https://openalex.org/W2156724686","https://openalex.org/W2158126684","https://openalex.org/W2159436061","https://openalex.org/W2160829153","https://openalex.org/W2162171351","https://openalex.org/W2162283517","https://openalex.org/W2165078378","https://openalex.org/W2165765842","https://openalex.org/W2168095934","https://openalex.org/W2242837385","https://openalex.org/W2294311096","https://openalex.org/W2295903522","https://openalex.org/W2477352091","https://openalex.org/W2482363909","https://openalex.org/W2524898874","https://openalex.org/W2584527876","https://openalex.org/W2621338103","https://openalex.org/W2737563519","https://openalex.org/W2912325086","https://openalex.org/W2914206182","https://openalex.org/W3033004131","https://openalex.org/W4244189205"],"related_works":["https://openalex.org/W2159436061","https://openalex.org/W2130207003","https://openalex.org/W7099358064","https://openalex.org/W1972238918","https://openalex.org/W7097693570","https://openalex.org/W2118198367","https://openalex.org/W7097549636","https://openalex.org/W2164489257","https://openalex.org/W2121988324","https://openalex.org/W7099142483"],"abstract_inverted_index":{"Declassification":[0,11],"and":[1,6,44,50,55,74,96,123,139,151,163,207,239,248,284],"erasure":[2,20,51,75,97,152,164,208,240,283],"are":[3,251],"both":[4],"common,":[5],"often":[7],"crucial,":[8],"security":[9,53,133,156,175,197,299],"requirements.":[10,300],"occurs":[12,21],"when":[13,22],"the":[14,23,31,36,39,72,94,102,105,113,117,166,171,178,216,235,246,254,261,291],"confidentiality":[15,24],"of":[16,25,33,104,111,149,168,215,218,237,260,282,297],"information":[17,26,37,52,100,114],"is":[18,27,188,204,229,271],"weakened;":[19],"strengthened,":[28],"perhaps":[29],"to":[30,137,225,273],"point":[32],"completely":[34],"removing":[35],"from":[38,101],"system.":[40,279],"\r\nThis":[41],"dissertation":[42,69,126,160,191,233],"presents":[43,82],"explores":[45],"a":[46,83,128,174,195,275],"framework":[47],"for":[48,245],"declassification":[49,73,95,150,162,206,238,285],"policies,":[54],"it":[56,121],"shows":[57],"how":[58,112],"these":[59],"policies":[60,76,98,153,247,286],"can":[61,77,92],"help":[62],"in":[63,87,165,177],"building":[64],"trustworthy":[65],"systems.":[66],"\r\nFirst,":[67],"this":[68,159,232],"demonstrates":[70,234],"that":[71,141,199,201,290],"be":[78],"provably":[79],"enforced.":[80],"It":[81],"type":[84,223],"system":[85,179,224,293],"that,":[86],"conjunction":[88],"with":[89,173,265],"run-time":[90],"mechanisms,":[91],"enforce":[93,226],"on":[99],"start":[103],"program":[106],"until":[107],"its":[108,298],"termination,":[109],"regardless":[110,214],"propagates":[115],"through":[116],"system,":[118],"or":[119],"where":[120],"enters":[122],"leaves.":[124],"The":[125,190,242,268,280],"defines":[127,192],"novel,":[129],"precise,":[130],"end-to-end":[131],"semantic":[132,196],"condition,":[134],"noninterference":[135],"according":[136],"policy,":[138],"proves":[140],"all":[142],"well-typed":[143],"programs":[144],"satisfy":[145],"it.":[146],"Thus,":[147],"enforcement":[148,243],"provides":[154,287],"well-defined":[155],"guarantees.":[157],"\r\nSecond,":[158],"investigates":[161],"presence":[167],"mutual":[169],"distrust:":[170],"principals":[172,219],"concern":[176],"do":[180],"not":[181],"necessarily":[182],"trust":[183],"each":[184,202],"other.":[185],"Mutual":[186],"distrust":[187],"pervasive.":[189],"decentralized":[193,227,249],"robustness,":[194],"condition":[198],"ensures":[200],"principal":[203],"convinced":[205],"occur":[209],"only":[210],"at":[211],"appropriate":[212],"times,":[213],"actions":[217],"he":[220],"distrusts.":[221],"A":[222],"robustness":[228,250],"presented.":[230],"\r\nFinally,":[231],"practicality":[236],"policies.":[241],"mechanisms":[244],"incorporated":[252],"into":[253],"Jif":[255],"programming":[256,263],"language":[257,264,270],"(an":[258],"extension":[259],"Java":[262],"information-flow":[266],"control).":[267],"resulting":[269],"used":[272],"implement":[274],"secure":[276],"remote":[277],"voting":[278,292],"use":[281],"additional":[288],"assurance":[289],"implementation":[294],"satisfies":[295],"some":[296]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}