| 词条 | Secure state |
| 释义 |
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. See also
References{{Refbegin}}
| last =Fisch | first =Eric A. | last2 =White | first2 =Gregory B. | date =2000 | title =Secure Computers and Networks: Analysis, Design, and Implementation | publisher =CRC Press | publication-place =Boca Raton | pages =39–42 | isbn =9780849318689 | oclc =849972357 | url =https://books.google.com/books?vid=ISBN9781420049091 | accessdate =13 March 2018 }}{{Refend}}{{DEFAULTSORT:Secure State}} 1 : Computer security |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。