【摘 要】
：
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证
【机 构】
：
华南师范大学 计算机学院,广州,510631暨南大学 计算机科学系,广州,510632;
论文部分内容阅读
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为例,通过概率模型检测的方法对协议建立离散时间马尔可夫链模型,用概率计算树逻辑对协议属性进行描述,通过PRISM概率模型检测工具对协议进行定量的验证和分析.实验结果表明公平交换协议各实体间信道可信度对协议的公平性、有效性和时限性有不同程度的影响,对相应信道进行控制或改善可以提高协议安全性.
其他文献
2月份广东省的气温在逐步升高，且可能受寒潮影响，气温变化较大，细菌和寄生虫繁殖速度加快，水生动物病害发病率将呈逐步上升的趋势，要及时做好防控工作。2月~3月份是水霉病、小瓜虫
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
合理的业务流量模型是战术通信网仿真模型的重要部分。根据战术网络业务量所表现出来的自相似特性,在基于多重ON/OFF源汇聚模型的基础上,设计了一种利用Opnet技术生成自相似流量的方法,实现了对网络节点模型中的数据源模块的精确描述,从而可快速有效的生成符合自相似特性的业务流量。应用"方差-时间图"算法,设定不同的参数条件对所产生的流量序列进行H参数估计,实验结果表明该种流量序列符合自相似性要求且精确
做生意就要做朝阳行业。珠三角有一群极具活力的中小企业不断追逐新兴市场,2009年,大量厂商从利润微薄的3C产业转入LED照明领域。2010年1月1日,LED照明产品制造商深圳纽贝特
针对目前工业消防产品检验手段落后的实际情况 ,研制了基于嵌入式工控机 PC10 4的智能型工业消防产品检验平台 ,提高了企业生产效益和产品检验的准确率。
In view of the fa
我驾着一叶扁舟,渡过汪洋大海。我寻着书香气息而来。我抱着满怀期待而来。美丽的厦门有我思念的故乡。看,那澎湃的海水正激出一朵朵美丽的浪花,就好似气味相投的我们,正慢慢
Raspberry Pi(中文名为“树莓派”,简写为RPi,或者RasPi/RPI),是由注册于英国的慈善组织“Raspberry Pi基金会”开发的.2012年3月,树莓派基金会正式发售了世界上最小的台式机
云计算给网络安全带来新的挑战,网络安全策略要跟随虚拟机的迁移而迁移,部署云计算环境下的网络安全需要引入新思路和新技术,如基于VXLAN的VLAN扩展、云防火墙等。虚拟化提升安全复杂度网络安全是数据中心建设的重要组成部分,是数据中心内部业务健壮运行的基础保障。虚拟化使得数据中心内IT架构复杂性明显提高,业务部署由传统的物理机、
(续第10期第9页)rn5.明确建立病死动物无害化处理长效机制①明确各级政府对本地区病死动物无害化处理负总责.省兽医主管部门根据全省畜禽养殖、疫病发生和畜禽死亡情况,按照
目的通过对江苏省幼儿园和大、中、小学校统一供应的早餐和午餐中食源性致病菌的调查分析,了解学生餐安全状况,发现食品安全隐患。方法 2014年在江苏省6个省辖市采集757份学