信息安全中语义安全性定义及其对等性证明

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jackyddd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了语义安全性的定义,并且从框架的对比来分析语义的安全性,以整合语义安全性、不可区分性和不可扩展安全性的框架,这种方式有助于研究不同攻击模型之间的关系。在对照的基础上对不可区分性的定义做了部分调整。研究了在新的框架下如何证明语义安全性和不可区分性两者间的对等性。简化了语义安全性与不可区分性之间的等价性证明。
其他文献
P-集合(packet sets)是由内P-集合X^F(internal packet setX^F)与外P-集合X^F(outer packet setX^F)构成的集合对,或者,(X^F,X^F)是P-集合,P-集合具有动态特性。把动态特性引入到有限
意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前
光滑支持向量机(SSVM)是支持向量机(SVM)的快速求解模型,拥有更快的求解速度和训练效果。基于光滑的分段多项式函数和插值思想推导出一个新的光滑函数,从而可以更好地逼近正号函
在园区网络的用户规模和网络结构日渐扩大的同时,园区网络的使用效能能否按照设计之初的功能充分发挥,成为了目前网络性能管理的一个主要问题。本文对园区网络设备的运行指标
在线社会网络已得到广泛应用,综合利用在线社会网络的社会关系信息和拓扑特征可以明显增强各层网络协议功能、性能和安全特性而使其成为新的研究热点。主要研究基于在线社会
随着互联网的发展,网络新词不断涌现,但是目前的分词方法很难及时、准确地对其做出识别。对此提出一种应用免疫遗传算法的网络新词识别方法。在分析网络新词特点的基础上,利
利用人工鱼群算法的追尾思想并在过程中加入拥挤度因子,对人工萤火虫群算法进行了改进,提出了一种改进型人工萤火虫群算法,并将该算法用于多峰函数的优化问题。通过实验仿真
P-集合(packet sets)是由内P-集合(internal packet sets)与外P-集合(outer packet sets)构成的集合对,或者(X-F,XF)是P-集合。P-集合具有动态特性。P-集合的动态特性来自对集合X的属
研究表明网络流量具有自相似特性,而自相似网络流量的生成是网络性能分析的一个关键环节,为此设计了一种生成网络背景流量的方法。在VC++环境中对该方法进行了仿真,验证了其有
Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中