论文部分内容阅读
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进.
公平非否认协议的有限状态分析
【摘 要】
：
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2005年8期
其他文献
压缩数据库技术是海量数据管理的重要技术之一.利用海量数据自身及其数据操作的特点,提出了一种海量数据压缩存储结构.该存储结构将第二级和第三级存储器结合起来,以数据操作
原始邮件松散的结构和过于灵活的定义给应用程序分析带来了困难,为了给基于邮件的应用程序开发提供统一的结构化表示和统一管理各种消息,可以选择XML来标准化邮件.在对邮件的
本文提出一种针对系统威胁进行量化的分析方法,并建立了模型,该方法提供了一种类似系统的安全性评估、比较的途径.当然,当本分析方法应用于不同类型的系统时,需要对其部分参
故障发生后,迅速而有效地恢复对数据库系统而言是至关重要的.本文针对嵌入式实时内存数据库的特征,结合一个具体的嵌入式实时内存数据库系统(ARTs-EDB),给出了相应基于日志的
高校图书馆是实施创新教育的大课堂，担负着培养提高读者信息获取、信息分析、信息吸收能力的重任，在知识经济时代将发挥出前所未有的中心作用。本文就高校图书馆在创新教育中的
当前的时态数据库中间件不支持包含事务时间和有效时间的双时态数据索引,通过使用适当的数据变换和查询变换,可将双时态数据转化为R树可索引的数据.基于4R技术,提出了作为时
为网格监控体系结构建立可执行性模型有助于网格监控系统的服务质量提升.因为网格环境的动态性和不可靠性,所以对网格监控体系结构建模时要从可用性和性能两方面综合考虑.讨
梯度分析是数据仓库和联机分析处理中的一项重要分析任务,在决策支持中发挥着重要作用.本文根据实际应用的需要,提出了一种新颖的关键梯度分析方法.借助立方体计算中的计数排