版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
应用系统中身份认证建模及推理方法
Modeling and Reasoning About Authentication in Application作者机构：北京科技大学计算机与通信工程学院北京100083 信息安全国家重点实验室北京100039
出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)
年 卷 期：2012年第33卷第4期
页 面：754-758页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家科技支撑计划项目(2008BAH22B03)资助
摘 要：逻辑推理是对身份认证进行形式化研究的重要手段,但现有研究成果主要集中在认证机制、认证协议等单个方面,并不考虑应用环境.通过引入身份认证域,对应用系统中身份认证进行形式化描述;在此基础上,提出一种基于谓词的身份认证建模及推理方法,包括7种谓词、8个推理规则和一种4步骤推理方法等,并对基于静态口令、动态口令和数字证书的身份认证模型进行实例分析.
