一个信息安全系统的形式描述和验证  

A formal description and verification system of information security

作　　者：刘益和[1] 何文孝[2] 

机构地区：[1]内江师范学院计算机与信息科学系,四川内江641112 [2]内江师范学院网络应用项目开发重点实验室,四川内江641112

出　　处：《西南民族大学学报（自然科学版）》2008年第4期795-799,共5页Journal of Southwest Minzu University(Natural Science Edition)

基　　金：国家973资助项目1999035801;四川省教育厅自然科学重点项目(2006A130);内江师院院级科研项目:06NJZ-5

摘　　要：本文通过引入一些新概念,利用有限状态机原理和BLP模型、Biba模型思想,对一个基于认证和授权的信息系统进行了形式化描述和验证,该模型具有保密性和完整性.A system of information security based on authentication and authorization is described and verified in this paper, with finite-state machine, the ideals of BLP model and Biba model. The model has confidentiality and integrality.

关 键 词：BLP模型 BIBA模型 认证 授权 保密性 完整性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]