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

关键词: 形式化描述 B／S模式 BLP模型 操作平台 信息安全系统 有限状态机 密码系统 传输 原理