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