论文部分内容阅读
引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析.
一种分析电子现金协议的工具
【摘 要】
：
引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂
【机 构】
：
南开大学数学科学学院,天津师范大学计算机与信息工程学院
【出 处】
：
南开大学学报(自然科学版)
【发表日期】
：
2010年3期
其他文献
近日，小铺至乌龙高速公路工程项目开工仪式在嵩明举行，项目设计全长约41．99km，概算投资90．7976亿元，预计2017年建成通车。该项目位于昆明市盘龙区及滇中产业新区嵩明县、大板桥镇境
黑曲霉（Aspergillus niger）NRRL3135植酸酶A（PhyA）是一种动物饲料添加剂,其能够水解植物饲料中的植酸,释放无机磷,降低动物粪便中的有机磷对环境的污染.但饲料制粒中需要一个加热
应用两种属于同一分类的硝酸银（或酸式）银染方法检测聚丙烯酰胺凝胶电泳分离后的不同的蛋白质，发现成份相同的凝胶产生了深浅不同的背景，从而揭示了凝胶背景产生的另一个原因是与
洛克希德·马丁公司2009年7月22日宣布了收购Gyrocam Systems公司的协议，但未透露收购价格。交易有待美国反托拉斯法机构的批准，将在2009年3季度完成。届时Gyrocam将成为洛
针对无线传感器网络LEACH算法簇头的选择增加了剩余能量因素的考虑,并且考虑了簇头到基站的距离后再选择非簇头节点所要加入的簇.计算机仿真结果表明,改进后的协议能够延长网
根据广义框架的理论给出了广义Banach框架和广义原子分解的定义,并得到了二者的一些扰动性结果.
Rim101蛋白是白念珠菌中pH应答反应的重要转录因子.为进一步研究Rim101p的功能,采用PCR方法获得RIM101基因序列,并将其克隆入表达载体pET-21a,转化大肠杆菌表达菌BL21,通过摸
2019年湖北省将开工建设4条高速公路,力争达8条;年内将建成8条高速公路,创下2007年以来一年内建成高速公路条数的新纪录。2019年将开工的4条高速公路是:麻城至竹溪高速公路延
合成了两个由2,4,5-三吡啶咪唑（HPtim）构筑的锌配合物.X-射线单晶结构分析表明,配合物1中,乳清酸作为端基配体,锌离子通过Hptim配体两个吡啶环上的氮原子桥联形成了一维链状结