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

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