【摘 要】
：
认证测试是一种新型的在串空间模型基础上提出来的用于分析协议认证属性的形式化方法,该方法因简单实用而受到学者的广泛关注,但其不能分析协议中认证测试组件嵌套加密的情况
论文部分内容阅读
认证测试是一种新型的在串空间模型基础上提出来的用于分析协议认证属性的形式化方法,该方法因简单实用而受到学者的广泛关注,但其不能分析协议中认证测试组件嵌套加密的情况,这极大地限制了它的应用范围.而现存的针对该局限性的改进方案,由于没有从本质上对串空间模型中关于消息项结构关系方面的语义进行完善,很难彻底突破认证测试的局限性.为此,通过在串空间模型中引入等价类、类组件、安全加密元及安全包裹元等概念,提高了串空间刻画消息项之间及内部结构关系的能力,并结合实例来阐明引入这些概念的必要性.在此基础上,提出一种可以分析
其他文献
为研究裂隙对岩体冲击韧性及破坏模式的影响规律,以及裂隙岩体在高应变率下的动态破坏特征,采用摆锤式冲击实验机对裂隙及完整岩体进行了不同冲击速度、不同裂隙条件下的冲击
针对观点句的特点提出了适合观点句识别的特征抽取规则。在此基础上,融合图论中最小割原理和机器学习分类方法,引入知识图的概念,并提出了基于知识图的观点句识别算法。以公
对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、
当今蠕虫不仅注重快速传播,而且根据不同区域的特征能够实施选择性感染。首先,围绕这一特点,在AAWP离散模型的基础上,基于不同区域的漏洞分布概率,量化影响平均扫描率的若干
分布式交互应用是允许分散在不同地点的多个参与者能实时进行交互的网络系统,它的交互质量在很大程度上取决于网络延迟,而通过对服务器位置的合理布局可以降低网络延迟。因此
现有的委托授权模型主要侧重于受托方是否具有执行委托任务（权利）的能力,没有考虑到受托方平台的可信性;基于此,提出了多媒体环境下基于远程证明（Remote Attestation,RA）的委托授
为了减少隧道爆破施工产生的振动危害的影响,对临沂城30万t供水工程隧洞爆破施工产生的振动效应进行了研究。采用量纲分析法推导出考虑高程的爆破振动速度计算公式,并结合实
着重分析了多核架构系统中内存对齐技术与cache利用率等因素对并行程序性能的影响.用共享存储环境OpenMP分析了并行计算量与处理器核心数目之间的关系,通过用MPI编程实现的矩