期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于计算模型的安全协议Swift语言实施安全性分析 被引量:1
1
作者 孟博 何旭东 +2 位作者 张金丽 尧利利 鲁金钿 《通信学报》 EI CSCD 北大核心 2018年第9期178-190,共13页
分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包... 分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanchet演算的映射模型,提出从安全协议Sub Swift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性。 展开更多
关键词 安全协议 实施安全性 swift语言 形式化分析 模型抽取
下载PDF
复电工单管理系统IOS版客户端设计 被引量:1
2
作者 宁占彬 丁洋涛 +2 位作者 朱惠娣 张宏宇 翟德红 《电脑编程技巧与维护》 2016年第15期5-7,共3页
介绍了停送电工单管理的基本需求内容,并根据需求设计了一套工单管理系统,详细说明了基于Swift语言的IOS版客户端主要代码。
关键词 IOS程序设计 swift语言 工单管理 手机APP
下载PDF
工单转办系统APP客户端设计
3
作者 武绍斌 翟德红 王莹 《电脑编程技巧与维护》 2016年第23期49-50,70,共3页
介绍了工单转办的基本需求内容,并根据需求设计了一套工单转办系统,介绍了基于Swift语言的IOS客户端和基于Java语言的Android客户端开发设计。
关键词 工单转办 IOS程序设计 swift语言 手机APP
下载PDF
基于树莓派的智能灯光控制系统设计 被引量:3
4
作者 阳秋光 成建宏 《电脑知识与技术》 2018年第10Z期220-221,223,共3页
随着信息技术和互联网的高速发展,智能化显得极其重要。该系统是基于树莓派为中继控制模块、wifi控制模块、Arduino RGB全彩LED灯模块以及手机APP模块联合的智能灯光控制设计。利用嵌入式开发、Linux编程以及swift语言等主要技术和运用I... 随着信息技术和互联网的高速发展,智能化显得极其重要。该系统是基于树莓派为中继控制模块、wifi控制模块、Arduino RGB全彩LED灯模块以及手机APP模块联合的智能灯光控制设计。利用嵌入式开发、Linux编程以及swift语言等主要技术和运用IEEE802.11协议,从而搭建出RGB全彩LED灯光模块的智能控制系统。实验结果表明,该系统是可靠和有效的,并且能够有效地防止他人非法入侵,在现实生活中对空调、窗帘、温湿度等家居系统的智能控制具有潜在的应用价值。 展开更多
关键词 树莓派 嵌入式开发 LINUX系统 swift语言 IEEE802.11
下载PDF
基于iOS的App社交软件
5
作者 葛孟兰 金娇 +4 位作者 赵悦 储婷婷 李梦琪 张德祥 任乘乘 《软件工程与应用》 2016年第3期190-197,共8页
本论文从iOS系统的发展状况、研究前景分析了项目的目的和意义。介绍了项目的开发环境Xcode的用法,软件swift语言的发展和优越性。最后进行了软件的测试,展示了本软件的使用流程。通过本App,用户可以分享自己的工作生活经验,更加方便快... 本论文从iOS系统的发展状况、研究前景分析了项目的目的和意义。介绍了项目的开发环境Xcode的用法,软件swift语言的发展和优越性。最后进行了软件的测试,展示了本软件的使用流程。通过本App,用户可以分享自己的工作生活经验,更加方便快捷的与别人交流,并交到志同道合的朋友,提升了用户方方面面的生活体验。 展开更多
关键词 APP iOS系统 swift语言
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部