身份认证过程的一种形式描述  

A Formal Description About Identification

作　　者：刘益和[1] 

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

出　　处：《内江师范学院学报》2008年第4期27-28,共2页Journal of Neijiang Normal University

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

摘　　要：通过引入信任度函数等新概念,利用Biba模型不写上,不读下思想,并对身份认证过程前后进行分析,选用适当的认证算法,对整个认证系统进行了形式描述,最后给出了一个使得信息系统的完整性总能得到保障的条件.A information system about identification is formally described , with the ideals of Biba model which don＇t write up, don＇t read down, and news concept of trust degree function etc. A condition,which makes the information system be integrality at all time ,is given outs, to carry on the analysis to identification process in front and back, and choose appropriate identification arithmetic.

关 键 词：BIBA模型 身份认证 形式描述 完整性 

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