期刊文献+

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

A Formal Description About Identification
下载PDF
导出
摘要 通过引入信任度函数等新概念,利用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.
作者 刘益和
出处 《内江师范学院学报》 2008年第4期27-28,共2页 Journal of Neijiang Normal University
基金 四川省教育厅自然科学重点项目(2006A130) 内江师院院级科研项目:06NJZ-5
关键词 BIBA模型 身份认证 形式描述 完整性 Biba model identification formal description integrality
  • 相关文献

参考文献3

  • 1李军,孙玉方.计算机安全和安全模型[J].计算机研究与发展,1996,33(4):312-320. 被引量:28
  • 2[2]Bell D E,Lapadula LJ.Secure compter system:mathematical foundation.MTR-2527,Mitre corp,Bedford,MA,1973 (NTIS AD-771543) 被引量:1
  • 3[3]Biba,K.Integrity Considerations for Secure Computing Systems.Mitre Report MTR-3153,Mitre Corporation,Bedford,MA,1975. 被引量:1

二级参考文献1

  • 1陈爱民,计算机的安全与保密,1992年 被引量:1

共引文献27

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部