{"id":"https://openalex.org/W154231405","doi":null,"title":"Analyzing integrity protection in the SELinux example policy","display_name":"Analyzing integrity protection in the SELinux example policy","publication_year":2003,"publication_date":"2003-08-04","ids":{"openalex":"https://openalex.org/W154231405","mag":"154231405"},"language":"en","primary_location":{"id":"mag:154231405","doi":null,"is_oa":false,"landing_page_url":"http://home.eng.iastate.edu/~daji/seminar/papers/JSZ03.UsenixSec.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306421123","display_name":"USENIX Security Symposium","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"USENIX Security Symposium","raw_type":null},"volume":null,"type":"conference-paper","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/A5055045569","display_name":"Trent Jaeger","orcid":"https://orcid.org/0000-0002-4964-1170","observed_orcids":["https://orcid.org/0000-0002-4964-1170"]},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trent Jaeger","raw_affiliation_strings":["IBM T.J. Watson Research Center, Hawthorne, NY"],"raw_orcid":"https://orcid.org/0000-0002-4964-1170","affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015743671","display_name":"Reiner Sailer","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Reiner Sailer","raw_affiliation_strings":["IBM T.J. Watson Research Center, Hawthorne, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}]},{"author_position":"last","author":{"id":null,"display_name":"Xiaolan Zhang","orcid":"https://orcid.org/0000-0002-7047-3634","observed_orcids":["https://orcid.org/0000-0002-7047-3634"]},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaolan Zhang","raw_affiliation_strings":["IBM T.J. Watson Research Center, Hawthorne, NY"],"raw_orcid":"https://orcid.org/0000-0002-7047-3634","affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.1209,"has_fulltext":false,"cited_by_count":131,"citation_normalized_percentile":{"value":0.9778851,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"5","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.8784000277519226,"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.8784000277519226,"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.11980000138282776,"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/T10734","display_name":"Information and Cyber Security","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/selinux","display_name":"SELinux","score":0.9440000057220459},{"id":"https://openalex.org/keywords/integrity-protection","display_name":"integrity protection","score":0.8149999976158142},{"id":"https://openalex.org/keywords/clark-wilson-model","display_name":"Clark-Wilson model","score":0.7929999828338623},{"id":"https://openalex.org/keywords/biba-model","display_name":"Biba model","score":0.890999972820282},{"id":"https://openalex.org/keywords/trusted-computing-base","display_name":"trusted computing base","score":0.8859999775886536},{"id":"https://openalex.org/keywords/policy-conflict-resolution","display_name":"policy conflict resolution","score":0.6970000267028809}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8537549376487732},{"id":"https://openalex.org/C2777407602","wikidata":"https://www.wikidata.org/wiki/Q1888932","display_name":"Mandatory access control","level":4,"score":0.8516907691955566},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6062482595443726},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5709028840065002},{"id":"https://openalex.org/C147346212","wikidata":"https://www.wikidata.org/wiki/Q5492632","display_name":"Trusted computing base","level":4,"score":0.5708549618721008},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5681114196777344},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5536841750144958},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4122985899448395},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30300164222717285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22950387001037598},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.13004446029663086},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:154231405","doi":null,"is_oa":false,"landing_page_url":"http://home.eng.iastate.edu/~daji/seminar/papers/JSZ03.UsenixSec.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306421123","display_name":"USENIX Security Symposium","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"USENIX Security Symposium","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.666700005531311,"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W49108551","https://openalex.org/W1618548847","https://openalex.org/W1974896380","https://openalex.org/W1992761401","https://openalex.org/W1993163335","https://openalex.org/W2032131630","https://openalex.org/W2053741629","https://openalex.org/W2131992911","https://openalex.org/W2134296086","https://openalex.org/W2144794336","https://openalex.org/W2150858564","https://openalex.org/W2152505375","https://openalex.org/W2154220454","https://openalex.org/W2162022335","https://openalex.org/W2167911131","https://openalex.org/W3160272394"],"related_works":["https://openalex.org/W7113576876","https://openalex.org/W7098753885","https://openalex.org/W2155339722","https://openalex.org/W7095182084","https://openalex.org/W2068210789","https://openalex.org/W1787327377","https://openalex.org/W2753971288","https://openalex.org/W2384197710","https://openalex.org/W7095269528","https://openalex.org/W2018961369"],"abstract_inverted_index":{"In":[0],"this":[1,51],"paper,":[2],"we":[3,76,151,166],"present":[4],"an":[5,24,59],"approach":[6],"for":[7,34,93,144,155,159,186],"analyzing":[8],"the":[9,13,40,43,48,72,94,112,118,135,168,182],"integrity":[10,98,124],"protection":[11],"in":[12],"SELinux":[14,18,73,119,160,183],"example":[15,19,25,120,184],"policy.":[16,74],"The":[17],"policy":[20,33,49,99,107,121,185],"is":[21,56,175,179],"intended":[22],"as":[23],"from":[26],"which":[27],"administrators":[28],"customize":[29],"to":[30,57,63,78,137,171],"create":[31],"a":[32,80,147,153,156],"their":[35],"site's":[36],"security":[37,66],"goals,":[38],"but":[39],"complexity":[41],"of":[42,47],"model":[44,62],"and":[45,68,100,122,140,165],"size":[46],"make":[50],"quite":[52],"complex.":[53],"Our":[54,106,177],"aim":[55,77],"provide":[58],"access":[60],"control":[61],"express":[64],"site":[65],"goals":[67],"resolve":[69],"them":[70],"against":[71],"Ultimately,":[75],"define":[79],"minimal":[81,157],"trusted":[82],"computing":[83],"base":[84],"(TCB)":[85],"that":[86,173],"satisfies":[87],"Clark-Wilson":[88,104],"integrity,":[89],"by":[90],"first":[91],"testing":[92],"more":[95],"restrictive":[96],"Biba":[97],"resolving":[101],"conflicts":[102,129],"using":[103],"semantics.":[105],"analysis":[108,178],"tool,":[109],"Gokyo,":[110,150],"implements":[111],"following":[113],"approach:":[114],"(1)":[115],"it":[116,127,133],"represents":[117],"our":[123],"goals;":[125],"(2)":[126],"identifies":[128],"between":[130],"them;":[131],"(3)":[132],"estimates":[134],"resolutions":[136],"these":[138],"conflicts;":[139],"(4)":[141],"provides":[142],"information":[143],"deciding":[145],"upon":[146],"resolution.":[148],"Using":[149],"derive":[152],"proposal":[154],"TCB":[158,174],"includes":[161],"30":[162],"subject":[163],"types,":[164],"identify":[167],"work":[169],"remaining":[170],"ensure":[172],"integrity-protected.":[176],"performed":[180],"on":[181],"Linux":[187],"2.4.19.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":11}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-06-24T00:00:00"}