Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Secure_state> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Secure_state abstract "A secure state is an information systems security term to describe where entities in a computer system are divided into subjects and objects, and it can be formally proven that each state transition preserves security by moving from one secure state to another secure state. Thereby it can be inductively proven that the system is secure. As defined in the Bell–LaPadula model, the secure state is built on the concept of a state machine with a set of allowable states in a system. The transition from one state to another state is defined by transition functions.A system state is defined to be "secure" if the only permitted access modes of subjects to objects are in accordance with a security policy.".
- Secure_state wikiPageID "7764774".
- Secure_state wikiPageLength "953".
- Secure_state wikiPageOutDegree "10".
- Secure_state wikiPageRevisionID "560928936".
- Secure_state wikiPageWikiLink Bell–LaPadula_model.
- Secure_state wikiPageWikiLink Category:Computer_security.
- Secure_state wikiPageWikiLink Computer.
- Secure_state wikiPageWikiLink Computer_security.
- Secure_state wikiPageWikiLink Computer_system.
- Secure_state wikiPageWikiLink Finite-state_machine.
- Secure_state wikiPageWikiLink Information_system.
- Secure_state wikiPageWikiLink Mathematical_induction.
- Secure_state wikiPageWikiLink Security_policy.
- Secure_state wikiPageWikiLink State_machine.
- Secure_state wikiPageWikiLink TCSEC.
- Secure_state wikiPageWikiLink Trusted_Computer_System_Evaluation_Criteria.
- Secure_state wikiPageWikiLinkText "secure state".
- Secure_state hasPhotoCollection Secure_state.
- Secure_state wikiPageUsesTemplate Template:Unreferenced.
- Secure_state subject Category:Computer_security.
- Secure_state hypernym Term.
- Secure_state type Area.
- Secure_state type Article.
- Secure_state type Area.
- Secure_state type Article.
- Secure_state comment "A secure state is an information systems security term to describe where entities in a computer system are divided into subjects and objects, and it can be formally proven that each state transition preserves security by moving from one secure state to another secure state. Thereby it can be inductively proven that the system is secure. As defined in the Bell–LaPadula model, the secure state is built on the concept of a state machine with a set of allowable states in a system.".
- Secure_state label "Secure state".
- Secure_state sameAs m.026c8l5.
- Secure_state sameAs Q7444880.
- Secure_state sameAs Q7444880.
- Secure_state wasDerivedFrom Secure_state?oldid=560928936.
- Secure_state isPrimaryTopicOf Secure_state.