首页> 中文期刊> 《河南师范大学学报：自然科学版》 >数字签名过程的一个形式描述和验证

数字签名过程的一个形式描述和验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.

著录项

来源
《河南师范大学学报：自然科学版》 |2005年第2期|26-28|共3页
作者
刘益和;
展开▼
作者单位

内江师范学院计算机与信息科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
Biba模型; 数字签名; 形式化描述和验证; 完整性;

相似文献

中文文献
外文文献
专利

1. 一个信息安全系统的形式描述和验证 [J] . 刘益和 ,何文孝 . 西南民族大学学报（自然科学版） . 2008,第004期
2. 一个群组验证的多策略门限数字签名方案 [J] . 王锋 ,周由胜 ,谷利泽 . 计算机研究与发展 . 2012,第003期
3. 一个高效的数字签名的(t,n)验证方案 [J] . 司光东 ,张建中 ,李艳平 . 计算机工程 . 2005,第016期
4. 一个采用不等式验证方式的数字签名方案 [J] . 李继红 ,张育斌 ,肖国镇 . 电子学报 . 2000,第001期
5. 支持扩展虚拟同步的组通信算法形式描述与验证 [J] . 邓延军 ,徐学洲 . 计算机研究与发展 . 2005,第004期
6. 改进的数字PETRI网及协议和的形式描述和验证 [C] . 李红辉 . 1989年全国计算机网络学术交流会 . 1989
7. 咨询过程的深度：一个三维模型的验证研究 [A] . 朱旭 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号