基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义.首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据SubSwift语言到Blanchet演算的映射模型,提出从安全协议SubSwift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性.
推荐文章
SSL协议的安全性分析
SSL协议
安全性
身份认证
GRE隧道协议安全性分析
GRE
VPN
网络安全
基于ProVerif的TVP迁移协议安全性分析
可信虚拟平台
迁移协议
应用π演算
ProVerif安全性
形式化分析
RIPng路由协议安全性分析与攻击模型研究
RIPng
协议分析
RIP
网络攻击
网络安全
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于计算模型的安全协议Swift语言实施安全性分析
来源期刊 通信学报 学科 工学
关键词 安全协议 实施安全性 Swift语言 形式化分析 模型抽取
年,卷(期) 2018,(9) 所属期刊栏目 论文Ⅲ:学术论文
研究方向 页码范围 178-190
页数 13页 分类号 TP309
字数 7119字 语种 中文
DOI 10.11959/j.issn.1000-436x.2018165
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 孟博 中南民族大学计算机科学学院 16 50 4.0 6.0
2 鲁金钿 中南民族大学计算机科学学院 5 23 3.0 4.0
3 何旭东 中南民族大学计算机科学学院 4 11 2.0 3.0
4 张金丽 中南民族大学计算机科学学院 2 14 1.0 2.0
5 尧利利 中南民族大学计算机科学学院 2 7 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (169)
共引文献  (191)
参考文献  (15)
节点文献
引证文献  (1)
同被引文献  (5)
二级引证文献  (1)
1956(1)
  • 参考文献(0)
  • 二级参考文献(1)
1976(1)
  • 参考文献(0)
  • 二级参考文献(1)
1978(3)
  • 参考文献(0)
  • 二级参考文献(3)
1984(2)
  • 参考文献(0)
  • 二级参考文献(2)
1988(2)
  • 参考文献(0)
  • 二级参考文献(2)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(3)
  • 参考文献(0)
  • 二级参考文献(3)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(4)
  • 参考文献(0)
  • 二级参考文献(4)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(3)
  • 参考文献(0)
  • 二级参考文献(3)
2002(8)
  • 参考文献(0)
  • 二级参考文献(8)
2003(4)
  • 参考文献(0)
  • 二级参考文献(4)
2004(9)
  • 参考文献(0)
  • 二级参考文献(9)
2005(5)
  • 参考文献(0)
  • 二级参考文献(5)
2006(6)
  • 参考文献(0)
  • 二级参考文献(6)
2007(4)
  • 参考文献(0)
  • 二级参考文献(4)
2008(14)
  • 参考文献(2)
  • 二级参考文献(12)
2009(12)
  • 参考文献(1)
  • 二级参考文献(11)
2010(11)
  • 参考文献(0)
  • 二级参考文献(11)
2011(11)
  • 参考文献(1)
  • 二级参考文献(10)
2012(12)
  • 参考文献(0)
  • 二级参考文献(12)
2013(7)
  • 参考文献(1)
  • 二级参考文献(6)
2014(26)
  • 参考文献(4)
  • 二级参考文献(22)
2015(8)
  • 参考文献(2)
  • 二级参考文献(6)
2016(7)
  • 参考文献(3)
  • 二级参考文献(4)
2017(2)
  • 参考文献(0)
  • 二级参考文献(2)
2018(6)
  • 参考文献(1)
  • 二级参考文献(5)
2019(2)
  • 参考文献(0)
  • 二级参考文献(2)
2020(2)
  • 参考文献(0)
  • 二级参考文献(2)
2018(6)
  • 参考文献(1)
  • 二级参考文献(5)
  • 引证文献(0)
  • 二级引证文献(0)
2019(1)
  • 引证文献(1)
  • 二级引证文献(0)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
安全协议
实施安全性
Swift语言
形式化分析
模型抽取
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
通信学报
月刊
1000-436X
11-2102/TN
大16开
北京市丰台区成寿路11号邮电出版大厦8层
2-676
1980
chi
出版文献量(篇)
6235
总下载数(次)
17
总被引数(次)
85479
论文1v1指导