期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于计算模型的安全协议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
职称材料
题名
基于计算模型的安全协议Swift语言实施安全性分析
被引量:
1
1
作者
孟博
何旭东
张金丽
尧利利
鲁金钿
机构
中南民族大学计算机科学学院
出处
《通信学报》
EI
CSCD
北大核心
2018年第9期178-190,共13页
基金
国家自然科学基金资助项目(No.61272497)
湖北省自然科学基金资助项目(No.2014CFB249
+2 种基金
No.2018ADC150)
中南民族大学中央高校基本科研业务费专项资金资助项目(No.CZZ18003
No.QSZ17007)~~
文摘
分析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语言
形式化分析
模型抽取
Keywords
security protocol
implementations security
swift
language
formal analysis
model extraction
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
复电工单管理系统IOS版客户端设计
被引量:
1
2
作者
宁占彬
丁洋涛
朱惠娣
张宏宇
翟德红
机构
郑州华力信息技术有限公司
国网郑州供电公司
出处
《电脑编程技巧与维护》
2016年第15期5-7,共3页
文摘
介绍了停送电工单管理的基本需求内容,并根据需求设计了一套工单管理系统,详细说明了基于Swift语言的IOS版客户端主要代码。
关键词
IOS程序设计
swift语言
工单管理
手机APP
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
工单转办系统APP客户端设计
3
作者
武绍斌
翟德红
王莹
机构
国网郑州供电公司营销部综合室
出处
《电脑编程技巧与维护》
2016年第23期49-50,70,共3页
文摘
介绍了工单转办的基本需求内容,并根据需求设计了一套工单转办系统,介绍了基于Swift语言的IOS客户端和基于Java语言的Android客户端开发设计。
关键词
工单转办
IOS程序设计
swift语言
手机APP
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于树莓派的智能灯光控制系统设计
被引量:
3
4
作者
阳秋光
成建宏
机构
贵州航天计量测试技术研究所
出处
《电脑知识与技术》
2018年第10Z期220-221,223,共3页
文摘
随着信息技术和互联网的高速发展,智能化显得极其重要。该系统是基于树莓派为中继控制模块、wifi控制模块、Arduino RGB全彩LED灯模块以及手机APP模块联合的智能灯光控制设计。利用嵌入式开发、Linux编程以及swift语言等主要技术和运用IEEE802.11协议,从而搭建出RGB全彩LED灯光模块的智能控制系统。实验结果表明,该系统是可靠和有效的,并且能够有效地防止他人非法入侵,在现实生活中对空调、窗帘、温湿度等家居系统的智能控制具有潜在的应用价值。
关键词
树莓派
嵌入式开发
LINUX系统
swift语言
IEEE802.11
Keywords
Raspberry Pi
embedded development
Linux system
swift
language
IEEE802.11
分类号
TU855 [建筑科学]
TP273 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
基于iOS的App社交软件
5
作者
葛孟兰
金娇
赵悦
储婷婷
李梦琪
张德祥
任乘乘
机构
安徽大学电气工程与自动化学院
出处
《软件工程与应用》
2016年第3期190-197,共8页
基金
安徽大学学生创新创业训练计划(201510357242)
安徽大学教育质量提升计划项目(xjjyxm14048)。
文摘
本论文从iOS系统的发展状况、研究前景分析了项目的目的和意义。介绍了项目的开发环境Xcode的用法,软件swift语言的发展和优越性。最后进行了软件的测试,展示了本软件的使用流程。通过本App,用户可以分享自己的工作生活经验,更加方便快捷的与别人交流,并交到志同道合的朋友,提升了用户方方面面的生活体验。
关键词
APP
iOS系统
swift语言
Keywords
App
iOS System
swift
Language
分类号
F4 [经济管理—产业经济]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于计算模型的安全协议Swift语言实施安全性分析
孟博
何旭东
张金丽
尧利利
鲁金钿
《通信学报》
EI
CSCD
北大核心
2018
1
下载PDF
职称材料
2
复电工单管理系统IOS版客户端设计
宁占彬
丁洋涛
朱惠娣
张宏宇
翟德红
《电脑编程技巧与维护》
2016
1
下载PDF
职称材料
3
工单转办系统APP客户端设计
武绍斌
翟德红
王莹
《电脑编程技巧与维护》
2016
0
下载PDF
职称材料
4
基于树莓派的智能灯光控制系统设计
阳秋光
成建宏
《电脑知识与技术》
2018
3
下载PDF
职称材料
5
基于iOS的App社交软件
葛孟兰
金娇
赵悦
储婷婷
李梦琪
张德祥
任乘乘
《软件工程与应用》
2016
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部