Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143801419> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2143801419 endingPage "59" @default.
- W2143801419 startingPage "41" @default.
- W2143801419 abstract "A distinctive concern in the US military for computer security dates from the emergence of time-sharing systems in the 1960s. This paper traces the subsequent development of the idea of a security kernel and of the mathematical modeling of security, focusing in particular on the paradigmatic Bell-LaPadula model. The paper examines the connections between computer security and formal, deductive verification of the properties of computer systems. It goes on to discuss differences between the cultures of communications security and computer security, the bureaucratic turf war over security, and the emergence and impact of the Department of Defense's Trusted Computer System Evaluation Criteria (the so-called Orange Book), which effectively took its final form in 1983. The paper ends by outlining the fragmentation of computer security since the Orange Book was written." @default.
- W2143801419 created "2016-06-24" @default.
- W2143801419 creator A5027331101 @default.
- W2143801419 creator A5058868195 @default.
- W2143801419 date "1997-01-01" @default.
- W2143801419 modified "2023-10-13" @default.
- W2143801419 title "Mathematics, technology, and trust: formal verification, computer security, and the U.S. military" @default.
- W2143801419 cites W1626541219 @default.
- W2143801419 cites W1971538733 @default.
- W2143801419 cites W1977764760 @default.
- W2143801419 cites W1987533264 @default.
- W2143801419 cites W1994476536 @default.
- W2143801419 cites W2024142871 @default.
- W2143801419 cites W2032589423 @default.
- W2143801419 cites W2049336278 @default.
- W2143801419 cites W2053409086 @default.
- W2143801419 cites W2053741629 @default.
- W2143801419 cites W2068444955 @default.
- W2143801419 cites W2070034573 @default.
- W2143801419 cites W2085818042 @default.
- W2143801419 cites W2087947630 @default.
- W2143801419 cites W2098375905 @default.
- W2143801419 cites W2099137371 @default.
- W2143801419 cites W2103078852 @default.
- W2143801419 cites W2120923312 @default.
- W2143801419 cites W2123533505 @default.
- W2143801419 cites W2125355672 @default.
- W2143801419 cites W2150956956 @default.
- W2143801419 cites W2152505375 @default.
- W2143801419 cites W2152550254 @default.
- W2143801419 cites W2294615205 @default.
- W2143801419 doi "https://doi.org/10.1109/85.601735" @default.
- W2143801419 hasPublicationYear "1997" @default.
- W2143801419 type Work @default.
- W2143801419 sameAs 2143801419 @default.
- W2143801419 citedByCount "31" @default.
- W2143801419 countsByYear W21438014192012 @default.
- W2143801419 countsByYear W21438014192015 @default.
- W2143801419 countsByYear W21438014192016 @default.
- W2143801419 countsByYear W21438014192017 @default.
- W2143801419 countsByYear W21438014192018 @default.
- W2143801419 countsByYear W21438014192019 @default.
- W2143801419 countsByYear W21438014192021 @default.
- W2143801419 countsByYear W21438014192022 @default.
- W2143801419 crossrefType "journal-article" @default.
- W2143801419 hasAuthorship W2143801419A5027331101 @default.
- W2143801419 hasAuthorship W2143801419A5058868195 @default.
- W2143801419 hasConcept C115903868 @default.
- W2143801419 hasConcept C121822524 @default.
- W2143801419 hasConcept C29983905 @default.
- W2143801419 hasConcept C38652104 @default.
- W2143801419 hasConcept C41008148 @default.
- W2143801419 hasConcept C527648132 @default.
- W2143801419 hasConcept C62913178 @default.
- W2143801419 hasConceptScore W2143801419C115903868 @default.
- W2143801419 hasConceptScore W2143801419C121822524 @default.
- W2143801419 hasConceptScore W2143801419C29983905 @default.
- W2143801419 hasConceptScore W2143801419C38652104 @default.
- W2143801419 hasConceptScore W2143801419C41008148 @default.
- W2143801419 hasConceptScore W2143801419C527648132 @default.
- W2143801419 hasConceptScore W2143801419C62913178 @default.
- W2143801419 hasIssue "3" @default.
- W2143801419 hasLocation W21438014191 @default.
- W2143801419 hasOpenAccess W2143801419 @default.
- W2143801419 hasPrimaryLocation W21438014191 @default.
- W2143801419 hasRelatedWork W2000428303 @default.
- W2143801419 hasRelatedWork W2032098076 @default.
- W2143801419 hasRelatedWork W2037791655 @default.
- W2143801419 hasRelatedWork W2056275442 @default.
- W2143801419 hasRelatedWork W2132108029 @default.
- W2143801419 hasRelatedWork W2222589037 @default.
- W2143801419 hasRelatedWork W2784006287 @default.
- W2143801419 hasRelatedWork W2907868081 @default.
- W2143801419 hasRelatedWork W34731052 @default.
- W2143801419 hasRelatedWork W4252804791 @default.
- W2143801419 hasVolume "19" @default.
- W2143801419 isParatext "false" @default.
- W2143801419 isRetracted "false" @default.
- W2143801419 magId "2143801419" @default.
- W2143801419 workType "article" @default.