B/S模式信息安全系统的一种形式化描述

摘要：

本文利用有限状态机、RABC模型和BLP模型原理,对B/S模式下的信,息系统给出了一种形式化描述,该描述在操作平台、密码系统、传输环节是安全的前提下是安全的.

关键词：B/S模式、有限状态机、RABC模型、BLP模型、机密性

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划1999035801;四川省教育厅资助项目2003A161

在线出版日期：2005-12-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：217-219