论文部分内容阅读
基于概率模型检测技术，建立了需要保证ε-公平性的非否认协议的概率模型，根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM，验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下，分析了破坏协议公平性的概率。
概率非否认协议的模型检测分析
【摘 要】
：
基于概率模型检测技术，建立了需要保证ε-公平性的非否认协议的概率模型，根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM，验证了概率非否认协议的有效性、公平
【机 构】
：
桂林电子科技大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2007年3期
【基金项目】
：
广西壮族自治区自然科学基金资助项目（桂科自0542052）
其他文献
A candidate identification questionnaire for postmenopausal osteoporosis patients switched from dail
A candidate identification questionnaire (CIQ) was tested to determine its predictive value for patient-reported satisfaction in patients switched from once-wee
高等职业院校不仅是传授知识和开展学术研究的场所,还是增强国家创新能力、培养和储备高素质人才的重要基地,更是服务社会和推动社会发展的不可或缺的重要力量。发展职业教育
介绍了S-Club原理,分析了已有实现方法的不足,提出一个适合在网格信息服务系统中实现S-Club机制的设计方案,包括如何创建、维护和撤销S-Club以及如何在S-Club中进行查询。利用该套设计方案,在CROWN信息服务系统RLDS中成功实现了S-Club机制,通过实验证明了S-Club机制确实能够提高信息服务系统的查询效率,减少综合网络开销。
Pattern of physical growth during first six months of life among a cohort of babies living in Gampah
Introduction: Current WHO recommendation is to continue exclusive breast feeding (EBF) up to six months. Main concern regarding this recommendation is, whether
思想政治理论课是我国高职院校学生必修课之一。通过这门课程可以向大学生宣传最先进的思想和文化,还可以培养其正确的世界观、人生观、价值观。思想政治理论课的重要地位,是
目的评价中心静脉置管术在高龄患者中的应用安全性。方法回顾分析我院2004年1月-2009年10月279例80岁以上行中心静脉置管者临床资料。结果因慢性疾病长期行肠外营养支持治疗
牛培育是一个长期而复杂的过程,需要做好各个方面的工作,要掌握从遗传育种到饲养管理各个方面的专业知识和技能,特别是饲养管理工作.牛养殖的目的是为了获取更多的鲜奶和牛肉
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield