论文部分内容阅读
Web系统的广泛应用使其安全问题日益突出。通过分析当前Web系统存在的安全隐患，在Web资源的访问控制上引入了多级安全策略，从Web系统的功能需求和安全需求出发，分析了BLP模型直接应用于Web系统时导致的问题。在BLP模型的基础上，提出了Web系统的多级安全策略模型，对Web系统中的概念、对象和操作进行抽象和提炼，研究了Web系统处于安全状态时应当满足的安全条件，并在此基础上，对Web系统、系统状态、和状态转换进行了形式化描述。