论文部分内容阅读
对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。
非否认协议形式化分析技术
【摘 要】
：
对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。
【机 构】
：
信息工程大学电子技术学院
【出 处】
：
计算机应用
【发表日期】
：
2006年11期
其他文献
11月4日,由德邦大为公司、黑龙江省农垦科学院、中国农大、中信建设,以及外方合作单位哈萨克斯坦赛福林农业技术大学、哈萨克斯坦维斯集团投资有限公司联合承担的国家重点研
物业管理是一个以服务占主导型的行业．在市场经济环境下能否生存下去，一个最关键的因素是企业内部在没有自身发展的动力在与同行竞争过程中，能不能提高服务质量．增强企业的品牌创
加权预测-校正内点法（WPC-IPM）求解含电压源型高压直流输电（VSC-HVDC）的电力系统最优潮流时,迭代中后期校正环节加权会减慢收敛速度。提出一种自适应加权预测-校正内点法（AWPC-IPM
商业物业主要包括办公、商场等类型物业，属于物业管理行业中的高端领域。近年来随着社会经济的快速发展，高档的商业中心、写字楼等物业大量新建并投入使用．因此．如何开展多种经营
2006年5月5日，家住江苏省常州市武进区安居新村28幢丙单元601室的业主陈阿南和王长凤擅自拆除房屋前包沿．敲掉原来屋面，将屋面向后缩进．装上窗户，做阳台进出。2006年5月10日，常州市
7月3日,2017内蒙古国际畜牧业机械展览会在赤峰举行。中联重科携拖拉机、青贮机、打捆机、小麦机、谷子机等畜牧机械产品亮相,受到参会嘉宾与专业用户的广泛关注。针对内蒙古
以双硫腙-非离子型表面活性剂Triton X-114为浊点萃取体系分离富集铋,在优化了溶液酸度、浊点萃取温度等实验条件下,应用氢化物发生-原子荧光光谱仪测定富集相中铋的含量。结
针对欧几里德旅行商问题,提出了一种“整体优先”算法。该算法的基本思路是边构造边调整路径,在调整中采用了独创的逆向调整方法,避免算法陷入局部优化陷阱。理论分析和大量实验结果表明,该算法不仅时间复杂度和空间复杂度低,寻优能力也相当强,其综合性能超过目前的一些主流算法。