{"id":"https://openalex.org/W3011997889","doi":"https://doi.org/10.1134/s0361768820070026","title":"Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System","display_name":"Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System","publication_year":2020,"publication_date":"2020-12-01","ids":{"openalex":"https://openalex.org/W3011997889","doi":"https://doi.org/10.1134/s0361768820070026","mag":"3011997889"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768820070026","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768820070026","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","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/A5090352927","display_name":"P. N. Devyanin","orcid":"https://orcid.org/0000-0003-2561-794X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"P. N. Devyanin","raw_affiliation_strings":["Rusbitech, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Rusbitech, Moscow, Russia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080654093","display_name":"Alexey Khoroshilov","orcid":"https://orcid.org/0000-0002-6512-4632"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I153845743","display_name":"Moscow Institute of Physics and Technology","ror":"https://ror.org/00v0z9322","country_code":"RU","type":"education","lineage":["https://openalex.org/I153845743"]},{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"A. V. Khoroshilov","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","Lomonosov Moscow State University, Moscow, Russia","Moscow Institute of Physics and Technology, Dolgoprudny, Moscow region, Russia","NRU Higher School of Economics, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Lomonosov Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Moscow Institute of Physics and Technology, Dolgoprudny, Moscow region, Russia","institution_ids":["https://openalex.org/I153845743"]},{"raw_affiliation_string":"NRU Higher School of Economics, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025737715","display_name":"\u0412. \u0412. \u041a\u0443\u043b\u044f\u043c\u0438\u043d","orcid":"https://orcid.org/0000-0003-3439-9534"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. V. Kuliamin","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","Lomonosov Moscow State University, Moscow, Russia","NRU Higher School of Economics, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Lomonosov Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"NRU Higher School of Economics, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032706844","display_name":"Alexander K. Petrenko","orcid":"https://orcid.org/0000-0001-7411-3831"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. K. Petrenko","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","Lomonosov Moscow State University, Moscow, Russia","NRU Higher School of Economics, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Lomonosov Moscow State University, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"NRU Higher School of Economics, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017276859","display_name":"Ilya Shchepetkov","orcid":"https://orcid.org/0000-0002-5794-004X"},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"I. V. Shchepetkov","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5080654093","https://openalex.org/A5090352927"],"corresponding_institution_ids":["https://openalex.org/I118501908","https://openalex.org/I153845743","https://openalex.org/I19880235","https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":1.0463,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84169842,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"46","issue":"7","first_page":"443","last_page":"453"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9998000264167786,"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.9998000264167786,"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.9998000264167786,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9962999820709229,"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/computer-science","display_name":"Computer science","score":0.7730332016944885},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7683355808258057},{"id":"https://openalex.org/keywords/role-based-access-control","display_name":"Role-based access control","score":0.760577917098999},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.6049241423606873},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.5023236274719238},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.48868444561958313},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.45896434783935547},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3936656713485718},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.25140154361724854},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1512819528579712},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0997127890586853}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7730332016944885},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7683355808258057},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.760577917098999},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.6049241423606873},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.5023236274719238},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.48868444561958313},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.45896434783935547},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3936656713485718},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25140154361724854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1512819528579712},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0997127890586853},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768820070026","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768820070026","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W132768739","https://openalex.org/W1516432943","https://openalex.org/W1556900989","https://openalex.org/W1559018605","https://openalex.org/W1820726602","https://openalex.org/W1971006290","https://openalex.org/W1971486022","https://openalex.org/W1975197166","https://openalex.org/W1991895580","https://openalex.org/W1997862012","https://openalex.org/W2038696466","https://openalex.org/W2053343487","https://openalex.org/W2053741629","https://openalex.org/W2068210789","https://openalex.org/W2103078852","https://openalex.org/W2134296086","https://openalex.org/W2162022335","https://openalex.org/W2166602595","https://openalex.org/W2168197734","https://openalex.org/W2170466641","https://openalex.org/W2405120356","https://openalex.org/W2406032150","https://openalex.org/W2494986057","https://openalex.org/W2611056681","https://openalex.org/W2892350831","https://openalex.org/W3101413582","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W2372156812","https://openalex.org/W2374393728","https://openalex.org/W2386545329","https://openalex.org/W2148952798","https://openalex.org/W2382286253","https://openalex.org/W2945232779","https://openalex.org/W2356011375","https://openalex.org/W1795360416","https://openalex.org/W2392979115","https://openalex.org/W819284483"],"abstract_inverted_index":{"Designing":[0],"a":[1,12,67,80,133,161],"trusted":[2],"access":[3,47,72],"control":[4,48,52,73,136],"mechanism":[5],"of":[6,23,28,41,64,66,71,83,92,98,124,150,152],"an":[7],"operating":[8,163],"system":[9,164],"(OS)":[10],"is":[11,18,58,101,108,117,158],"complex":[13,35],"task":[14],"if":[15],"the":[16,39,106,121,125,139,148,166],"goal":[17],"to":[19,132],"achieve":[20],"high":[21],"level":[22,129,154],"security":[24,56,90,135],"assurance":[25],"and":[26,54,74,86,114],"guarantees":[27],"unwanted":[29],"information":[30,75],"flows":[31,76],"absence.":[32],"Even":[33],"more":[34],"it":[36],"becomes":[37],"when":[38],"integration":[40,82],"several":[42],"heterogeneous":[43],"mechanisms,":[44],"like":[45],"role-based":[46],"(RBAC),":[49],"mandatory":[50],"integrity":[51],"(MIC),":[53],"multi-level":[55],"(MLS)":[57],"considered.":[59],"This":[60],"paper":[61],"presents":[62],"results":[63,149],"development":[65],"hierarchical":[68,122],"integrated":[69],"model":[70,100,107,140,157],"(HIMACF),":[77],"which":[78],"provides":[79],"holistic":[81],"RBAC,":[84],"MIC,":[85],"MLS":[87],"preserving":[88],"key":[89],"properties":[91],"all":[93],"those":[94],"mechanisms.":[95],"Previous":[96],"version":[97],"this":[99],"called":[102],"MROSL":[103],"DP-model.":[104],"Now":[105],"formalized":[109],"using":[110,165],"Event-B":[111],"formal":[112],"method":[113],"its":[115],"correctness":[116],"formally":[118],"verified.":[119],"In":[120],"representation":[123],"model,":[126],"each":[127],"hierarchy":[128],"(module)":[130],"corresponds":[131],"separate":[134],"mechanism,":[137],"so":[138],"can":[141],"be":[142],"verified":[143],"with":[144],"less":[145],"effort":[146],"reusing":[147],"verification":[151],"lower":[153],"modules.":[155],"The":[156],"implemented":[159],"in":[160],"Linux-based":[162],"Linux":[167],"Security":[168],"Modules":[169],"infrastructure.":[170]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}