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

摘要：

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

关键词：非否认、概率模型检测、PRISM、有限状态机

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：广西自然科学基金桂科自 0542052

在线出版日期：2007-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：163-166