版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
一种不可否认协议形式化设计方法
Formal Design Method for Non-repudiation Protocols作者机构：解放军理工大学通信工程学院南京210007
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2008年第34卷第4期
页 面：164-166页
核心收录：
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(69931040) 江苏省自然科学基金资助项目(BK2004015)
摘 要：针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议。实例证明该方法可以很好地用于辅助不可否认协议的设计与改进。
