【摘 要】
：
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示
【机 构】
：
燕山大学信息科学与工程学院,燕山大学里仁学院
论文部分内容阅读
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性.
其他文献
针对云存储中数据完整性检查的问题提出一种高效的动态数据持有性证明方案.数据所有者(Owner)利用哈希一异或运算预先生成一定量的验证标签,并将其加密后与数据一起存储在服
针对已有基于词聚类的话题检测方法存在的缺点,本文利用网络文档的半结构化特征提供的语义信息以及利用词在语义上下文的共现频率定义词之间的语义相似度,然后构建文档集的词
无线车载网络是智能交通系统的重要组成部分，具有广泛应用前景，而且是物联网应用的重要分支．总结车载网络中传统传输技术的发展，概括传统传榆技术的局限性．阐述了机会路由基本原理
RBAC模型通过角色的概念实现了用户和权限的分离,然而在角色继承和权限分配时可能会引发策略冲突。为了检测RBAC模型中的策略冲突,本文首先对策略冲突进行了分类,提出了
结合低轨通信星座系统自主运行发展的需求,提出一种适合于星上自主处理的分布式网络故障诊断算法(DFDS).DFDS算法基于系统级故障诊断理论(SLD),给出M-概率的分布式测试模型,
在轨可更换单元(Orbital Replacement Unit,ORU)体系架构是航天器电子系统能够进行在轨模块内部更换的关键技术之一.传统航天器电子系统硬件模块单元不具备内部可更换性和可
分析了现有的ZigBee网络地址分配算法在非平衡拓扑下的不足,提出一种适用于该拓扑的混合式地址分配算法(Hybrid Address Assignment Mechanism,HAAM),并进一步设计了基于HAAM
CUDA内存资源往往存在静态申请与访问的约束,多CPU线程并发执行时会产生资源访问冲突.经建模分析发现,消除资源与设备核函数之间的静态关系可避免该问题.基于资源池模式设计C
阐述了图核的全局信息在结点匹配中的应用,将图核理论扩展到超图上,提出了超图的核等相关概念,并给出了超图核值的形式化描述；分析了超图k水平p-核的构造性属性,给出了求解超
基于RSA公钥体制提出一种数字作品买卖协议,在该协议中用户首先根据一定的约束条件,产生用来标识自己身份的一串随机变量,用公钥加密后传给发行商,发行商置乱用户发过来的数