{"id":"https://openalex.org/W72977389","doi":null,"title":"A formal protection model of security in distributed systems","display_name":"A formal protection model of security in distributed systems","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W72977389","mag":"72977389"},"language":"en","primary_location":{"id":"pmh:oai:uilis.unsyiah.ac.id:39402","doi":null,"is_oa":true,"landing_page_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","pdf_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","source":{"id":"https://openalex.org/S4377196378","display_name":"UPT. Syiah Kuala University Library (Syiah Kuala University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I187494767","host_organization_name":"Universitas Syiah Kuala","host_organization_lineage":["https://openalex.org/I187494767"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113674319","display_name":"Glenn S. Benson","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Glenn S. Benson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5113674319"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T10927","display_name":"Access Control and Trust","score":0.5737000107765198,"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"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.5737000107765198,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.3752000033855438,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.008899999782443047,"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/nondisclosure","display_name":"non-disclosure","score":0.6019999980926514},{"id":"https://openalex.org/keywords/integrity","display_name":"integrity","score":0.5770000219345093},{"id":"https://openalex.org/keywords/bell-lapadula-model","display_name":"Bell-LaPadula model","score":0.8109999895095825},{"id":"https://openalex.org/keywords/information-flow","display_name":"information flow","score":0.6589999794960022},{"id":"https://openalex.org/keywords/access-control","display_name":"access control","score":0.6729999780654907},{"id":"https://openalex.org/keywords/concurrency-and-synchronization","display_name":"concurrency and synchronization","score":0.5329999923706055}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7345091104507446},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6855460405349731},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.6451330184936523},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5860097408294678},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48960381746292114},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.4862286150455475},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4758714735507965},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45291587710380554},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.45120489597320557},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3830612599849701},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34322822093963623},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.242119699716568},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20335134863853455}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:uilis.unsyiah.ac.id:39402","doi":null,"is_oa":true,"landing_page_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","pdf_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","source":{"id":"https://openalex.org/S4377196378","display_name":"UPT. Syiah Kuala University Library (Syiah Kuala University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I187494767","host_organization_name":"Universitas Syiah Kuala","host_organization_lineage":["https://openalex.org/I187494767"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},{"id":"pmh:oai:smartech.gatech.edu:1853/12238","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/1853/12238","pdf_url":null,"source":{"id":"https://openalex.org/S4377196313","display_name":"SMARTech Repository (Georgia Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I130701444","host_organization_name":"Georgia Institute of Technology","host_organization_lineage":["https://openalex.org/I130701444"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},{"id":"mag:72977389","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=915940","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:uilis.unsyiah.ac.id:39402","doi":null,"is_oa":true,"landing_page_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","pdf_url":"http://uilis.unsyiah.ac.id/opentheses/items/show/39402","source":{"id":"https://openalex.org/S4377196378","display_name":"UPT. Syiah Kuala University Library (Syiah Kuala University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I187494767","host_organization_name":"Universitas Syiah Kuala","host_organization_lineage":["https://openalex.org/I187494767"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W72977389.pdf","grobid_xml":"https://content.openalex.org/works/W72977389.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2325832434","https://openalex.org/W7006852851","https://openalex.org/W7052622993","https://openalex.org/W2915963494","https://openalex.org/W2537269980","https://openalex.org/W2512690674","https://openalex.org/W314481051","https://openalex.org/W2504562684","https://openalex.org/W6981398424","https://openalex.org/W7096955563"],"abstract_inverted_index":{"The":[0,135,173,243,263,274,293,300],"state":[1,20,31,62,68,164],"of":[2,9,79,126,141,149,158,163,169,176,195,230,250,260,269,311,353],"a":[3,7,27,48,50,65,77,80,84,89,144,147,210,222,247,267,270,297,322,350],"protection":[4],"system":[5,14,23,52,92],"contains":[6],"collection":[8],"access":[10],"privileges,":[11],"and":[12,34,83,108,128,132,151,166,184,216,239,334,346],"the":[13,19,22,30,120,156,161,167,177,196,207,231,235,251,309,319,328,332,338,347],"is":[15,32,69,93,137,246,266,287,296,321,349],"secure":[16,66,95,159,271],"only":[17],"if":[18,96,219],"satisfies":[21,104],"security":[24,72,81,106,110,115,124,145,187,200,258,325],"policy.":[25],"In":[26],"distributed":[28,51,248,354],"system,":[29],"decentralized":[33],"may":[35],"be":[36],"concurrently":[37],"updated":[38],"by":[39,337],"processes":[40],"that":[41,60,180,213,233,285,318,331],"reside":[42],"on":[43],"multiple,":[44],"distinct":[45],"machines.":[46],"As":[47],"result,":[49],"utilizes":[53],"decentralized,":[54],"yet":[55,283],"synchronized":[56],"control":[57],"to":[58,279,290,306],"assure":[59],"every":[61],"reachable":[63],"from":[64],"initial":[67],"secure.":[70],"A":[71,91],"model":[73,111,125,148,259,268,302,352],"serves":[74],"as":[75],"both":[76],"formalization":[78],"policy":[82],"formal":[85],"correctness":[86],"criterion":[87],"for":[88,201],"specification.":[90],"provably":[94],"its":[97,100,102,105,109,114],"implementation":[98],"enforces":[99],"specification,":[101],"specification":[103],"model,":[107],"correctly":[112],"formalizes":[113],"policy.\r\nThis":[116],"thesis":[117],"formally":[118],"presents":[119],"Distributed":[121],"Model":[122],"(D-Model)--a":[123],"non-disclosure":[127],"integrity":[129],"in":[130,139,198],"distributed,":[131],"centralized":[133,261],"systems.":[134,262,355],"D-Model":[136,178,208,232,320,339,348],"defined":[138],"terms":[140],"three":[142,314],"components:":[143],"predicate,":[146],"computation,":[150],"an":[152],"interpretation,":[153],"which":[154],"define":[155],"set":[157,162,168],"states,":[160],"transitions,":[165],"information-flow":[170],"paths,":[171],"respectively.":[172],"distinguishing":[174],"features":[175,193],"are":[179,241,342],"it":[181],"provides":[182],"concurrency":[183,211,236,340],"synchronization.":[185],"Other":[186],"models":[188],"do":[189],"not":[190,288,343],"provide":[191],"these":[192],"because":[194],"difficulty":[197],"validating":[199],"each":[202],"concurrent":[203],"execution":[204],"history.":[205],"However,":[206],"proves":[209],"theorem":[212,341],"poses":[214],"assumptions":[215,238,333],"conditions":[217,240,335],"which,":[218],"satisfied,":[220],"establish":[221],"tractable":[223],"(linear)":[224],"validation":[225],"requirement.\r\nThree":[226],"detailed":[227,315],"example":[228,245,265,295],"applications":[229],"satisfy":[234],"theorem's":[237],"presented.":[242],"first":[244],"version":[249],"Bell-La":[252],"Padula":[253],"model--the":[254],"most":[255],"widely":[256],"accepted":[257],"second":[264],"file":[272,275],"server.":[273],"server":[276],"distributes":[277],"information":[278,286],"multiple":[280],"network":[281],"modes,":[282],"assures":[284],"disclosed":[289],"unauthorized":[291],"parties.":[292],"third":[294],"downgrade":[298],"model.":[299,326],"down-grade":[301],"permits":[303],"authorized":[304],"users":[305],"selectively":[307],"lower":[308],"classification":[310],"sensitive":[312],"information.\r\nThe":[313],"examples":[316,329],"demonstrate":[317],"general":[323],"purpose":[324],"Furthermore,":[327],"illustrate":[330],"used":[336],"overly":[344],"restrictive,":[345],"practical":[351]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}