%0 Journal Article
%T b／s模式信息安全系统的一种形式化描述
%A 刘益和？
%J 计算机科学
%D 2004
%X 本文利用有限状态机、rabc模型和blp模型原理，对b/s模式下的信息系统给出了一种形式化描述，该描述在操作平台、密码系统、传输环节是安全的前提下是安全的。
%K 形式化描述b／s模式blp模型操作平台信息安全系统有限状态机密码系统传输原理
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=10754615&flag=1