首页 期刊 计算机科学 B／S模式信息安全系统的一种形式化描述 【正文】

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

作者：刘益和 四川大学信息安全研究所，成都610064
形式化描述   blp模型   操作平台   信息安全系统   有限状态机  

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社

学术咨询 免费咨询 杂志订阅

热门期刊服务

花火·B版 湖南教育·B版 Chinese Physics B 科学之友·B版 医学与哲学·B 中学生天地·B版 教育实践与研究(B) 养生大世界·B版 农村.农业.农民(B版) Chinese Annals of Mathematics Series B Chinese Annals of Mathematics,Series B Journal of Zhejiang University Science B

计算机科学

影响因子：0.94

期刊级别：北大期刊

发行周期：月刊
服务介绍