运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

物联网工程实践教学体系探讨

物联网工程是近年高等院校新兴开设的本科专业,建设专业配套的实验教学体系关系到该专业的人才培养质量及就业前景。本文主要探讨了物联网工程专业的实践教学体系建设问题,并结合层次化的人才培养目标,拟定了几个重要的物联网实践性的学科研究方向。     

水利工程造价管理与控制

分析了以设计阶段为控制重点的全过程造价管理及目前我国水利工程造价管理中存在的一些问题,并就水利工程造价管理与控制提出了一些建议。     

零边际成本的社会什么样?

作者开创性地探讨了极致生产力、协同共享、产消者、生物圈生活方式等全新概念,详细描述了数以百万计的人类生产和生活模式的转变。书名:《零边际成本社会》出版社:中信出版社作者:(美)杰里米·里夫金译者:赛迪研究院专家组简介作者杰里米·里夫金在美国沃顿商学院担任讲师,是经济趋势基金会的主席,他曾出版了《第三次工业革命》研究"后碳时代"可持续发展经济模式,相比之下,这本《零边际成本社会》更接地气。     

科学 透明 人本 IT运维服务的出发点

一、运维工作目标运维工作的目标是以行业用户满意度为导向,展开运维服务工作。企业需要发展,发展离不开我们的用户,用户满意度为导向能时刻提醒我们怎么做好运维服务工作,做好了运维服务工作,才能发展;要做好运维服务工作就得围绕用户满意度,推进"扎根"工作,"扎根"就是服务更加贴近用户实际,急用户所急,想用户所想,加强主动服务,帮用户解决实际工作中的困难与问题,让用户"放心、舒心、开心"。扎根是行动,结果是成长,让运维始于"扎根",长于"大树"。这样的发展是     

基于双层安全体系的移动办公应用平台设计与实现

针对移动办公应用的需求,采用HTML5技术和Android系统进行开发,本文提出一种基于双层安全体系的移动办公应用平台。系统通过移动中间件实现了多类型移动设备的统一接入,对企业OA、报账系统、公文处理进行了接口设计,无缝接入企业原有系统的数据和报表,并提供了链路安全和应用安全双层安全体系的保障,为企业人员实时、有效地获取相关工作信息提供了便利。     

构筑电子数据跨界融合生态体系——2016年中国互联网电子数据研究院第一次工作会议在京召开

3月28日,中国互联网电子数据研究院在京召开2016年第一次工作会议。中国互联网协会副理事长、中国互联网电子数据研究院院长高卢麟出席会议。中国互联网协会秘书长卢卫主持会议。来自工业和信息化部电子知识产权中心、国家知识产权局知识产权发展研究中心、北京大学法学院、北京航空航天大学法学院、中华全国律师协会、中国案例法学研究会、中国互联     

综合实验为驱动的教学法在研究生网络编程类课程中的应用

针对研究生网络编程类课程教学中的学生研究方向、兴趣点、网络各层知识的学习意愿、编程语言和编程能力各不相同等问题,提出以综合实验为驱动的教学方法,以FTP信息扫描分类为教学实例,阐述模块设计的理念和各层网络知识分布情况。     

校企协同的软件工程人才实践能力立体化培养体系

针对软件工程专业本科生实践能力不能满足企业需求的现状,分析原因,以哈尔滨工程大学为例,提出在人才培养方案中体现校企协同,并据此建立一个软件工程人才实践能力立体化培养体系。     

保密专业实验室及实验指导体系建设——以北京交通大学为例

针对保密专业学科设置和培养模式当中存在的问题,分析保密专业实践教学现状,构建保密专业实验室拓扑结构,提出建设保密专业实验室和实验指导体系,并从实训基地、实验平台和实验体系建设等方面给出具体的建设方案。从保密学科专业特点和社会需求出发,结合北京交通大学对于人才培养的实际要求,在对保密专业实践环境进行研究的基础上,科学地设计特色鲜明、开放创新的实践教学和科研平台建设方案,并且初步提出保密专业实验指导体系设计思路。