| 数字签名过程的一个形式描述和验证 |
| |
| 引用本文： | 刘益和. 数字签名过程的一个形式描述和验证[J]. 河南师范大学学报(自然科学版), 2005, 33(2): 26-28 |
| |
| 作者姓名： | 刘益和 |
| |
| 作者单位： | 内江师范学院,计算机与信息科学系,四川,内江,641112 |
| |
| 基金项目： | 国家“973”资助项目(1999035801)，四川省应用基础研究计划课题(04JY029-096) |
| |
| 摘 要： | 通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.
|
| 关 键 词： | Biba模型 数字签名 形式化描述和验证 完整性 |
| 文章编号： | 1000-2367(2005)02-0026-03 |
| 修稿时间： | 2004-12-01 |
A Formal Description and Verification about Digital Signature Process |
| |
| LIU Yi-he. A Formal Description and Verification about Digital Signature Process[J]. Journal of Henan Normal University(Natural Science), 2005, 33(2): 26-28 |
| |
| Authors: | LIU Yi-he |
| |
| Abstract: | This paper describes and verifies a digital signature scheme formally.With the ideals Biba model,and news concept,the model has integrality. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
