论文部分内容阅读
针对目前尚无不可否认协议的形式化设计方法，提出一种基于逻辑的不可否认协议形式化设计方法，包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标，由该目标出发，运用合成规则逐步推导出一个含可信第三方的不可否认协议。实例证明该方法可以很好地用于辅助不可否认协议的设计与改进。
一种不可否认协议形式化设计方法
【摘 要】
：
针对目前尚无不可否认协议的形式化设计方法，提出一种基于逻辑的不可否认协议形式化设计方法，包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标，由该
【机 构】
：
解放军理工大学通信工程学院
【出 处】
：
计算机工程
【发表日期】
：
2008年4期
其他文献
在农业灌溉方面,机械化灌溉设备的出现和大量使用已证实我们已找到至少目前认为可行的节水之路——机械化灌溉逐步取代地面灌溉。那么大型自走式机械化喷灌与地面灌溉相比有
温室白粉虱Trialeurodes vaporaiorum (Westwood)是多种蔬菜的顽敌,危害十分严重,难于药剂防治,在研究其规律及防治的同时,发现东亚小花蝽及微小花蝽,对温室白粉虱的卵有很强
提出一种基于粒子群优化算法优化有关参数的最小二乘支持向量机的财务预警模型。通过提出适当的验证性能指标，用粒子群优化算法优化最小二乘支持向量机的有关参数，利用上市公司
提出一种应用于可配置椭圆曲线密码体制的有限域多项式算术模块结构，乘法器基于已有的digit—serial结构乘法器，利用局部并行的bit—parallel结构，省去了模约简电路，使乘法器可适
分析LSM框架的基本设计思想和Linux系统上原有的可执行程序访问控制机制存在的问题,在此基础上讨论在LSM框架下可执行程序强制访问控制机制的设计。作为验证,基于Linux2.6.11
国际标准化组织(ISO)正式颁布或作为试用稿发布的数码照相机国际标准有很多,如ISO 12231术语、ISO12232感光度、ISO12233分辨率、ISO 14524光电转换函数等等,这些标准的制定
本文针对FANUC有关HRV3控制功能技术的应用分析,通过该功能的技术特点、系统参数设置、应用实例等内容阐述,并在FANUC SERVO GUIDER软件控制中的实践应用,取得了良好效果。
在基于BT技术的文件分片传输片段选择方案基础上，提出基于KAD网和文件分片的P2P视频点播系统的设计和相应的片断选择方案，主要描述系统模型和新型的算法，该算法包括节点分类、节
人机交互（HCI）技术的迅猛发展为自然高效和谐的HCI提供了基础支持，随着HCI行为的日益复杂，如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势