简介：该信息系统的设计目标是利用Isabelle提取证明步骤和证明状态,同证明步骤的提取一样,都可用提取界面提取所有的证明步骤和历史证明状态数据
简介：CA为用户UA的公钥签名时使用了私钥,UA将对消息M的签名（r1,CA对用户的公钥签名时有效引入CA的私钥
基于Isabelle的证明信息系统设计
一种基于公钥自证明的认证加密方案
