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

摘要：

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

关键词： 信息安全 转移函数 浏览器 服务器

作者: 刘益和

作者单位: 四川大学信息安全研究所(成都);内江师范学院计算机与信息科学系(内江)

会议类型: 国内会议

会议名称: 中国计算机学会第一届全国Web信息系统及其应用学术会议

会议地点: 武汉

会议语种:中文

页码: 615-617

在线出版日期: 2004-10-29（万方平台首次上网日期，不代表论文的发表时间）