概率非否认协议的模型检测分析

• 作者: 古天龙 董荣胜 郭云川 陈大伟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 非否认 概率模型检测 PRISM 有限状态机
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 安全技术
• 页码范围: 163-166
• 页数: 4页
• 分类号: TP311
• 字数: 5393字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.03.059

摘要

基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型.使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性.在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机科学系	207	1546	18.0	30.0
2	董荣胜	桂林电子科技大学计算机科学系	115	1521	13.0	37.0
3	郭云川	桂林电子科技大学计算机科学系	25	119	8.0	10.0
4	陈大伟	桂林电子科技大学计算机科学系	3	28	2.0	3.0