基于PVS的密码协议形式化规范(英文)

给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统.重要的结构如消息、事件、协议规则等都通过语义编码方式定义.     

三方密码协议运行模式分析法

在两方密码协议运行模式分析法的基础上,利用模型检测的理论结果,提出了三方密码协议运行模式分析法。用这种方法对DavisSwick协议进行了分析,成功地验证了此协议的安全性,说明了所提出的三方密码协议运行模式分析法的有效性。     

运用ASM描述安全协议

介绍了抽象状态机（ASM）,建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了 Helsinki协议的 ASM规约,说明利用这个规约可以直观的演绎 Horng-Hsu攻击.     

关于一个数值比较协议的安全性证明

Cachin在1990年的ACM计算机和通信安全会议上提出了一个电子竞价和拍卖协议,并给出了协议的安全性证明. 我们分析发现Cachin的协议证明中存在一个错误,并纠正了这个错误.     

无线传感器网络的分布式用户认证机制

本文针对无线传感器网络的用户认证问题给出了一套分布式的认证方案。此方案利用自我验证密码系统（self-certified key cryptosystems）来建立对等密钥,在对等密钥建立的基础上给出了两种不同类型的认证：本地认证和远端认证。我们的认证方案不但具有很强的安全性,而且由于具有较低的通信与计算代价,从而很容易在传感器网络中实现。     

一种高速大规模Ad Hoc网络下OLSR协议软件设计方案

在高速大规模Ad Hoc网络环境下,提出一种基于用户模式的OLSR协议软件的整体架构方案,方案定义软件的实现方案及软件框架.软件框架的设计借鉴TCP/IP协议栈的分层设计思想,解决移植性问题.算法重新设计节点之间的管理关系结构,并通过使用静态路由和OLSR路由相结合的方式,提高在高速大规模Ad Hoc网络中数据传输的性能.     

802.11s无线Mesh网络中协作多样性感知的路由度量和协作路由协议

提出了802.11s无线Mesh网络中协作多样性感知的路由度量,并提出了适应无线Mesh网络特点的协作式路由协议(CDARP)与协作媒体访问控制协议(CMAC).通过构建协作虚拟节点、计算协作链路度量,CDARP-CMAC能够选择最合理的路径进行协作数据传输.实验结果表明,与最优路径的协作机制相比,CDARP-CMAC协议提高了网络有效吞吐量5%~13%;同时降低了数据包丢包率5%~10%.     

共享经济背景下劳动关系认定的研究——以网络主播为视角

2016年,国家互联网信息办公室发布《互联网直播服务管理规定》,要求互联网直播服务的提供者与使用者应签订服务协议。然而,各地法院在认定协议性质时却出现分歧,其究竟构成民事协议还是劳动合同众说纷纭。不同的认定结果会对当事人造成不同的影响,因此在认定时,须衡量多方因素,不可简单依据传统劳动关系的认定方法进行认定。     

网络环境下学习支持服务系统的构建

构建本地化的学习支持服务系统,提高学习支持服务水平是基层电大重要而迫切的工作。本文结合广州电大番禺分校构建学习支持服务系统的实践,分别从服务硬件设施、服务软件资源、服务队伍、服务环境与服务制度等方面加以描述与说明。     

纯ipv6环境下用户网络参数的自动配置与管理

文章分析并描述了邻居发现协议及dhcpv6的技术特点,利用这些技术构建了一个即插即用的纯ipv6环境,对构建的过程和配置参数进行了详细说明.     

结合EZW和AES的图像加密机制

随着图像或视频的网络应用日益普及,各种各样的新型应用不断涌现。由于图像或视频在网络中传输时,网络本身的安全措施并不能完全阻止非法截取事件的发生,因此人们对于图像数据传输的有效性和安全性提出新的要求。提出一种新的方法,其基本思想是通过结合使用离散小波变换(DWT)、嵌入式零树小波编码(EZW)和高级加密标准(AES),在对需要传输的图像充分压缩的基础上,对编码码流加密置乱,从而同时达到有效和安全传输的目的。实验结果表明,该方法在保持较高压缩效率的同时,增强了码流在传输过程中的安全性。     

科学发展观与扬州新型工业化浅谈

借助于科学发展观和新型工业化的讨论,阐述了扬州的新型工业化道路。     

计算机组成与结构中的空间运筹简论

从计算机主机(运算器、控制器、存储器)的结构与组成,揭示了计算机中的空间运筹思想和空间运筹策略。文章认为,运筹学思想是联络计算机主机各部件的一根主线。     

关于建构高校主体性德育模式的几点思考

本文试图从分析德育主体性内涵入手,在研究了高校德育现状——德育主体性缺失及其原因后,重点探讨了建构高校主体性德育模式在德育主体的主体性、德育目标内容的主体性、德育原则方法的主体性等诸方面的理性思考。     

对我国竞技体育人才培养模式的思考

目前我国竞技体育人才培养模式主要有举国体制、体教结合、个人模式、俱乐部四种模式。这四种竞技体育人才培养模式有着各自的优点和不足,本文首先对这四种模式进行了研究和剖析,然后对新时期我国的竞技体育人才培养模式做出了探讨。     

体育赛事盈利模式研究

在对国内外体育赛事经营理论和实践进行大量研究的基础上,对体育赛事的一般盈利模式进行了系统的归纳和总结.根据体育赛事推动实现现金流入的运营环节的系统分析,提出体育赛事的利润源、利润点、利润杠杆、利润屏障和关键利润人的概念,总结和设计了一般体育赛事的盈利模式,以期对我国认识和分析赛事盈利模式,建立具体赛事特有的盈利模式有所助益,为我国体育赛事管理的科学化、系统化和专业化提供理论和实践的借鉴意义.     

基于GPGPU和CUDA的高速AES算法的实现和优化

随着高性能计算需求的不断增长,人们开始将目光投向具有强大计算能力及高存储带宽的GPU设备.与擅长处理复杂性逻辑事务的CPU相比,GPGPU(general purpose graphic processing unit,通用图形处理器)更适合于大规模数据并行处理.CUDA(compute unified device architecture,统一计算架构)的出现更加速了GPGPU应用面的扩张.基于GPGPU和CUDA技术对AES算法的实现进行加速,得到整体吞吐量6~7Gbit/s的速度.如果不考虑数据加载时间,对于1MB以上的输入规模,吞吐量可以达到20Gbit/s.     

中国当代架上绘画的"陌生化"语境方式

随着85'新潮艺术的开展,"陌生化"出现在了中国当代艺术之中,并成为架上绘画 艺术追求"现代性"的一种有效语境方式。其具体方式主要有个体化"私人语言"的语境方式、经验 化的语境方式、观念化的语境方式和本士化的语境方式。     

受限汉语表述方式的发展变化

受限汉语是一种预设地可操作的人工语言。互联网上使用规范的受限汉语更能便捷地传输知识信息。受限汉语在表述方式上与自然语言也有区别,会出现简约化、集约化、专业化、通用化等不同层面的发展趋向。     

中国体育对外援助运行体系研究

摘要：国家体育总局是管理中国体育事业发展的政府机构,负责中国体育对外援助的政策制定和资源调配,逐渐形成了比较完善的运行体系。从系统论的视角出发,运用文献资料、电话访谈、层次分析等方法,以中国体育对外援助的运行体系为研究对象。研究结果显示,中国体育对外援助运行体系可划为宏观、中观、微观三个层次,分别为运行主体、运行渠道、运行形式。在宏观的运行主体中,援建体育场馆设施主要由中体国际公司承担,援派体育技术人员主要由人力资源开发中心负责,援赠体育器材装备主要由外联司操作,表现为政府与社会的协调配合;在中观的运行渠道上,主要通过双边、多边和非政府等途径实现,呈现了多轨与互通的并行流动;在微观的运行形式里,有援建体育场馆设施、援赠体育器材装备、援送体育资金、援派体育教练、援助体育技术专家、体育志愿者服务、体育人力资源培训等具体工作,展现出多样与交叉的灵活运用。