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

分析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语言实施安全性。

船闸单位机械技术自主创新及改造信息化平台的搭建

本文立足于船闸单位机械技术自主创新,目的在于搭建一个单位内部机械技术人员的创新平台,希望能够让船闸单位各层次机械技术人才有一个提高技术能力、提出技术创新方案、创新船闸机械技术、实现技术梦想的舞台。平台实现步骤分为三部分:1船闸机械设计资料库的构建;2船闸机械技术自主创新及改造平台的搭建;3平台成果的实施安全性制度的构建。通过办公系统网络的信息化优势,最后形成一个集资料库、创意方案库、技术革新、培养培训为一体的机械技术自主创新及改造信息化平台,为船闸科技创新提供"材料库"和"动力源"。