{"id":"https://openalex.org/W1975197166","doi":"https://doi.org/10.1145/1805974.1805982","title":"A logical specification and analysis for SELinux MLS policy","display_name":"A logical specification and analysis for SELinux MLS policy","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W1975197166","doi":"https://doi.org/10.1145/1805974.1805982","mag":"1975197166"},"language":"en","primary_location":{"id":"doi:10.1145/1805974.1805982","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1805974.1805982","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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 Transactions on Information and System Security","raw_type":"journal-article"},"type":"article","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/A5027608838","display_name":"Boniface Hicks","orcid":"https://orcid.org/0000-0003-4113-979X"},"institutions":[{"id":"https://openalex.org/I188871143","display_name":"Saint Vincent College","ror":"https://ror.org/00amjd520","country_code":"US","type":"education","lineage":["https://openalex.org/I188871143"]},{"id":"https://openalex.org/I2802789157","display_name":"Saint Vincent Health System","ror":"https://ror.org/057fg2a35","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2802789157"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Boniface Hicks","raw_affiliation_strings":["St. Vincent College, LaTrobe, PA","St. Vincent College, Latrobe, Pa"],"affiliations":[{"raw_affiliation_string":"St. Vincent College, LaTrobe, PA","institution_ids":["https://openalex.org/I188871143","https://openalex.org/I2802789157"]},{"raw_affiliation_string":"St. Vincent College, Latrobe, Pa","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087279722","display_name":"Sandra Rueda","orcid":"https://orcid.org/0000-0002-2111-9348"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sandra Rueda","raw_affiliation_strings":["The Pennsylvania State University, University Park, PA","THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University, University Park, PA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049737500","display_name":"Luke St. Clair","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Luke St.Clair","raw_affiliation_strings":["The Pennsylvania State University, University Park, PA","THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University, University Park, PA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055045569","display_name":"Trent Jaeger","orcid":"https://orcid.org/0000-0002-4964-1170"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trent Jaeger","raw_affiliation_strings":["The Pennsylvania State University, University Park, PA","THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University, University Park, PA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055368149","display_name":"Patrick McDaniel","orcid":"https://orcid.org/0000-0003-2091-7484"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick McDaniel","raw_affiliation_strings":["The Pennsylvania State University, University Park, PA","THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University, University Park, PA","institution_ids":["https://openalex.org/I130769515"]},{"raw_affiliation_string":"THE PENNSYLVANIA STATE UNIVERSITY, UNIVERSITY PARK, PA","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5027608838"],"corresponding_institution_ids":["https://openalex.org/I188871143","https://openalex.org/I2802789157"],"apc_list":null,"apc_paid":null,"fwci":5.574,"has_fulltext":false,"cited_by_count":54,"citation_normalized_percentile":{"value":0.95498238,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"13","issue":"3","first_page":"1","last_page":"31"},"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.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T10927","display_name":"Access Control and Trust","score":0.9987000226974487,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9782999753952026,"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/computer-science","display_name":"Computer science","score":0.9115018844604492},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5908534526824951},{"id":"https://openalex.org/keywords/mandatory-access-control","display_name":"Mandatory access control","score":0.5845248103141785},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5629302859306335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48220813274383545},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.38026684522628784},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.36256644129753113},{"id":"https://openalex.org/keywords/role-based-access-control","display_name":"Role-based access control","score":0.1573636829853058}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9115018844604492},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5908534526824951},{"id":"https://openalex.org/C2777407602","wikidata":"https://www.wikidata.org/wiki/Q1888932","display_name":"Mandatory access control","level":4,"score":0.5845248103141785},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5629302859306335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48220813274383545},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.38026684522628784},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.36256644129753113},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.1573636829853058}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1805974.1805982","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1805974.1805982","pdf_url":null,"source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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 Transactions on Information and System Security","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.365.5852","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.5852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.patrickmcdaniel.org/pubs/tissec10.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.421.8341","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.8341","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.psu.edu/~tjaeger/papers/sacmat07.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G359406114","display_name":null,"funder_award_id":"CCF-0524132 CNS-0627551","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G3601213854","display_name":null,"funder_award_id":"CCF-0524132 CNS-0627551","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"}],"funders":[{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W106469350","https://openalex.org/W183274994","https://openalex.org/W189585970","https://openalex.org/W1510692643","https://openalex.org/W1516432943","https://openalex.org/W1565356083","https://openalex.org/W1974896380","https://openalex.org/W1993163335","https://openalex.org/W2008418582","https://openalex.org/W2032131630","https://openalex.org/W2053343487","https://openalex.org/W2103546069","https://openalex.org/W2116860113","https://openalex.org/W2122049982","https://openalex.org/W2132449052","https://openalex.org/W2133015447","https://openalex.org/W2164033917","https://openalex.org/W2167911131","https://openalex.org/W2996027056","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2158881272","https://openalex.org/W2295582286","https://openalex.org/W2148952798","https://openalex.org/W2350594541","https://openalex.org/W2539425047","https://openalex.org/W1543439672","https://openalex.org/W2393973626","https://openalex.org/W2012419258","https://openalex.org/W4238719493","https://openalex.org/W318167434"],"abstract_inverted_index":{"The":[0,30],"SELinux":[1,38,63,122,137,174],"mandatory":[2],"access":[3,28],"control":[4,24],"(MAC)":[5],"policy":[6,50,92,102,124,161,171],"has":[7],"recently":[8],"added":[9],"a":[10,20,26,48,67,90,119,164],"multilevel":[11],"security":[12,147],"(MLS)":[13],"model":[14,40],"which":[15,177],"is":[16,32,103,167],"able":[17],"to":[18,44,98,163],"express":[19],"fine":[21],"granularity":[22],"of":[23,36,89,135,172],"over":[25],"subject's":[27],"rights.":[29],"problem":[31],"that":[33,47,72,142],"the":[34,37,62,75,136,145,160,170,173],"richness":[35],"MLS":[39,64,123,138],"makes":[41],"it":[42,143,178],"impractical":[43],"manually":[45],"evaluate":[46],"given":[49,91,165],"meets":[51],"certain":[52],"specific":[53],"properties.":[54],"To":[55],"address":[56],"this":[57],"issue,":[58],"we":[59,79,130],"have":[60,80,108],"modeled":[61],"model,":[65],"using":[66],"logical":[68],"specification":[69,73],"and":[70,114,149,154],"implemented":[71,109],"in":[74,112,176],"Prolog":[76,113],"language.":[77],"Furthermore,":[78],"developed":[81],"some":[82,132],"analyses":[83,111],"for":[84,121],"testing":[85],"information":[86],"flow":[87],"properties":[88,134],"as":[93,95],"well":[94],"an":[96],"algorithm":[97],"determine":[99],"whether":[100,159],"one":[101],"compliant":[104,168],"with":[105,169],"another.":[106],"We":[107,156],"these":[110],"compiled":[115],"our":[116],"implementation":[117],"into":[118],"tool":[120],"analysis,":[125],"called":[126],"PALMS.":[127],"Using":[128],"PALMS,":[129],"verified":[131],"important":[133],"reference":[139],"policy,":[140],"namely":[141],"satisfies":[144],"simple":[146],"condition":[148],"\u22c6-property":[150],"defined":[151],"by":[152],"Bell":[153],"LaPadula.":[155],"also":[157],"evaluated":[158],"associated":[162],"application":[166],"system":[175],"would":[179],"be":[180],"deployed.":[181]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}