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

FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER'S STATUS

作　　者：孙凌宇[1] 冷明[1,2] 彭宣戈[1] 

机构地区：[1]井冈山大学信息科学与传媒学院,江西吉安343009 [2]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机应用与软件》2009年第1期277-280,共4页Computer Applications and Software

基　　金：科技部国际合作项目(CB7-2-01);江西省教育规划项目(04BY453)

摘　　要：身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据。运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述。在形式化过程中,对该系统用户身份记录定义了读、添加、更新、删除四种操作,对该系统用户身份认证定义了登录、退出二种操作。对于每种操作,还定义了具体的操作步骤、操作需要的前提条件和提示信息。身份认证是整个信息安全体系的基础,并越来越受到重视,因此研究身份认证系统的形式化具有一定的现实意义。The authentication system of status is now widely used to solve the consistency between visitor＇s physical status and digital status and provides basis of authority management to other systems. Formalized approach is applied against a user status authentication system in the way of giving a formal description with Z language on it. In the formal description, we define read, add, update, delete as the operations of user status record and logiu, logout as the operations of user status authentication. Furthermore, we define procedure, precondition and prompt information for each operation in detail. The status authentication provides the foundation for information security system and has being paid more and more attention in recent years. Therefore, the research on formalization of status authentication system has certain practical significance.

关 键 词：Z 形式化 身份认证 

分 类 号：TP393.18[自动化与计算机技术—计算机应用技术] TP311.5[自动化与计算机技术—计算机科学与技术]