Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106890282> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2106890282 abstract "As part of the general goal of providing secure computer systems, the design of verifiably secure operating systems is one of the most important tasks. This paper addresses the problem by defining security in terms of a model and proposing a set of principles which should be satisfied. Four key operating system partitions are identified: user interface functions, user invoked services, background services, and the security kernel. Principles are then defined to insure that interface functions provide a safe initial environment for executing user programs, user called services are confined, background services have no access to user information, and the security kernel adequately protects stored information." @default.
- W2106890282 created "2016-06-24" @default.
- W2106890282 creator A5010127453 @default.
- W2106890282 date "1975-01-01" @default.
- W2106890282 modified "2023-09-28" @default.
- W2106890282 title "Partitions and principles for secure operating systems" @default.
- W2106890282 cites W2023719829 @default.
- W2106890282 cites W2026595023 @default.
- W2106890282 cites W2033724067 @default.
- W2106890282 cites W2065410314 @default.
- W2106890282 cites W2097737141 @default.
- W2106890282 cites W2099137371 @default.
- W2106890282 cites W2121251946 @default.
- W2106890282 cites W2135651786 @default.
- W2106890282 cites W2140508184 @default.
- W2106890282 cites W2157185728 @default.
- W2106890282 cites W564588782 @default.
- W2106890282 doi "https://doi.org/10.1145/800181.810311" @default.
- W2106890282 hasPublicationYear "1975" @default.
- W2106890282 type Work @default.
- W2106890282 sameAs 2106890282 @default.
- W2106890282 citedByCount "7" @default.
- W2106890282 countsByYear W21068902822012 @default.
- W2106890282 countsByYear W21068902822014 @default.
- W2106890282 countsByYear W21068902822016 @default.
- W2106890282 countsByYear W21068902822017 @default.
- W2106890282 crossrefType "proceedings-article" @default.
- W2106890282 hasAuthorship W2106890282A5010127453 @default.
- W2106890282 hasBestOaLocation W21068902822 @default.
- W2106890282 hasConcept C111919701 @default.
- W2106890282 hasConcept C113843644 @default.
- W2106890282 hasConcept C114614502 @default.
- W2106890282 hasConcept C119599485 @default.
- W2106890282 hasConcept C121822524 @default.
- W2106890282 hasConcept C127413603 @default.
- W2106890282 hasConcept C129307140 @default.
- W2106890282 hasConcept C157915830 @default.
- W2106890282 hasConcept C177264268 @default.
- W2106890282 hasConcept C180198813 @default.
- W2106890282 hasConcept C199360897 @default.
- W2106890282 hasConcept C26517878 @default.
- W2106890282 hasConcept C33923547 @default.
- W2106890282 hasConcept C38652104 @default.
- W2106890282 hasConcept C41008148 @default.
- W2106890282 hasConcept C74193536 @default.
- W2106890282 hasConcept C89505385 @default.
- W2106890282 hasConceptScore W2106890282C111919701 @default.
- W2106890282 hasConceptScore W2106890282C113843644 @default.
- W2106890282 hasConceptScore W2106890282C114614502 @default.
- W2106890282 hasConceptScore W2106890282C119599485 @default.
- W2106890282 hasConceptScore W2106890282C121822524 @default.
- W2106890282 hasConceptScore W2106890282C127413603 @default.
- W2106890282 hasConceptScore W2106890282C129307140 @default.
- W2106890282 hasConceptScore W2106890282C157915830 @default.
- W2106890282 hasConceptScore W2106890282C177264268 @default.
- W2106890282 hasConceptScore W2106890282C180198813 @default.
- W2106890282 hasConceptScore W2106890282C199360897 @default.
- W2106890282 hasConceptScore W2106890282C26517878 @default.
- W2106890282 hasConceptScore W2106890282C33923547 @default.
- W2106890282 hasConceptScore W2106890282C38652104 @default.
- W2106890282 hasConceptScore W2106890282C41008148 @default.
- W2106890282 hasConceptScore W2106890282C74193536 @default.
- W2106890282 hasConceptScore W2106890282C89505385 @default.
- W2106890282 hasLocation W21068902821 @default.
- W2106890282 hasLocation W21068902822 @default.
- W2106890282 hasOpenAccess W2106890282 @default.
- W2106890282 hasPrimaryLocation W21068902821 @default.
- W2106890282 hasRelatedWork W2004559305 @default.
- W2106890282 hasRelatedWork W2018295154 @default.
- W2106890282 hasRelatedWork W2027549780 @default.
- W2106890282 hasRelatedWork W2033724067 @default.
- W2106890282 hasRelatedWork W2034989515 @default.
- W2106890282 hasRelatedWork W2047924755 @default.
- W2106890282 hasRelatedWork W2101195914 @default.
- W2106890282 hasRelatedWork W2112397448 @default.
- W2106890282 hasRelatedWork W2113350481 @default.
- W2106890282 hasRelatedWork W2121251946 @default.
- W2106890282 hasRelatedWork W2124015544 @default.
- W2106890282 hasRelatedWork W2131952331 @default.
- W2106890282 hasRelatedWork W2140508184 @default.
- W2106890282 hasRelatedWork W2288285225 @default.
- W2106890282 hasRelatedWork W2295037945 @default.
- W2106890282 hasRelatedWork W2305498188 @default.
- W2106890282 hasRelatedWork W2365214062 @default.
- W2106890282 hasRelatedWork W1497028801 @default.
- W2106890282 hasRelatedWork W2095881341 @default.
- W2106890282 hasRelatedWork W349441804 @default.
- W2106890282 isParatext "false" @default.
- W2106890282 isRetracted "false" @default.
- W2106890282 magId "2106890282" @default.
- W2106890282 workType "article" @default.