一种用户身份认证系统的形式化描述

• 作者: 冷明 孙凌宇 彭宣戈
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Z 形式化 身份认证
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 信息技术交流
• 页码范围: 277-280
• 页数: 4页
• 分类号: TP3
• 字数: 2899字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.01.102

摘要

身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据.运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述.在形式化过程中,对该系统用户身份记录定义了读、添加、更新、删除四种操作,对该系统用户身份认证定义了登录、退出二种操作.对于每种操作,还定义了具体的操作步骤、操作需要的前提条件和提示信息.身份认证是整个信息安全体系的基础,并越来越受到重视,因此研究身份认证系统的形式化具有一定的现实意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭宣戈	井冈山大学信息科学与传媒学院	11	35	4.0	5.0
2	孙凌宇	井冈山大学信息科学与传媒学院	46	236	7.0	12.0
3	冷明	井冈山大学信息科学与传媒学院	52	211	7.0	11.0