基于计算模型的安全协议Swift语言实施安全性分析

来源 :通信学报 | 被引量 : 2次 | 上传用户：easyk8

【摘要】

：

分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanch

【作者】

：

孟博何旭东张金丽尧利利鲁金钿

【机构】

：

中南民族大学计算机科学学院

【出处】

：

通信学报

【发表日期】

：

2018年09期

【关键词】

：

安全协议实施安全性 Swift语言形式化分析模型抽取 security protocol implementations security Swift l

【基金项目】

：

国家自然科学基金资助项目（No.61272497）；湖北省自然科学基金资助项目（No.2014CFB249,No.2018ADC150）；中南民族大学中央高校基本科研业务费专项资金资助项目（No.CZZ18003,No.QSZ17007）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

各类图书在广东出版集团中的地位评价

各省出版集团在各分类图书市场中所获的收益在本集团总收益中的比重各有所侧重，这基本反映了集团对各类图书市场的重视程度、其主要收益来源中对各类图书市场的依赖程度。因此

期刊

CuxC60薄膜紫外—可见吸收光谱研究

In this paper, the formation of the CuxC60 films has beendescribed briefly. The UV-Vis absorption spectrum of CuxC60 film have been discussed in detail, the ele

期刊

碳60铜化合物薄膜铜化学价态制备超导性CuxC60 film W-Vis absorb spectrum electronic structur

就带有同步预测的WBAN时序数据融合算法

提出一种带有同步预测的时序数据融合算法,利用多分辨率分析特性对采集的原始数据进行预处理,挖掘反映人体生理状态的本质特征,进而采用同步预测机制在感知节点和汇聚节点处

期刊

无线体域网数据融合多分辨率分析最小二乘支持向量机同步预测机制wireless body area network data aggregation

L—乳酸脱氢酶抑制剂抑制成因的探讨

应用HF/3-21G研究了抑制剂H2N－CO－COO－对L-乳酸脱氢酶的抑制成因.结果表明,酶被抑制的主要原因有:(1)抑制剂与底物的稳定构象态在结构上极为相似,导致酶不能有效识别底物;(2)模

期刊

L-乳酸脱氢酶底物构象电荷分布酶抑制剂从头计算活性中心抑制成因L-lactate dehydrogenase enzymatic reacti

基于时间序列分析的微博突发话题检测方法

针对微博信息噪音大、新颖度难以判断的问题,在动量模型的基础上进行优化,提出了基于时序分析的微博突发话题检测方法。通过动量模型提取候选突发特征后,对特征的动量时间序

期刊

突发话题微博突发特征时序分析bursty topic microblog bursty feature time series analysis

100年后图书形象的遐想

图书的形象，在近500年来没有变化。许多人认为，今后也不会有什么变化。然而，真的是这样吗?其实，即使图书的基本形象没有变化，但随着时代的发展，变化的可能性还是很大的。那么，到了那

期刊

图书形象纸介质图书IC磁条著作权法美术设计装帧设计

基于上下文因素的P2P动态信任模型

构建一个基于上下文因素的多维度P2P信任模型,结合考虑时间衰减、交互重要性和交互次数度量实体交互信任,基于Dice相似度给出信任相似度算法,设计一种多链路反馈可信度融合算

期刊

P2P系统信任上下文因素直接信任推荐信任P2P system trust context factor direct trust recomm

书业招贴选粹

期刊

胡适：中国现代知识分子的一面镜子

透过书中的剖析，我们看出胡适身上，一个中国真正知识分子身上所充实着的以国家利益为重的爱国主义情怀。在纪念抗战胜利60周年的光辉时刻，我钔不能忘了胡适为抗战所作出的杰出贡

期刊

现代知识分子中国胡适爱国主义情怀沈卫威《无地自由——胡适传》人物传记新书介绍

值得关注的三个问题

出版社出版为教育服务的教材应该是一种社会责任和公益行为，不能仅以盈利为目的，更多的是应该尽量整合出版资源，实现社会效益的最大化。出版社的经济利益应与国家教育事业的发展

期刊

出版社教材出版社会效益经济利益教材质量监控机制教材选用学生负担

基于计算模型的安全协议Swift语言实施安全性分析

与本文相关的学术论文