郭宇燕
- 作品数：9 被引量：7H指数：2
- 供职机构：宿州学院信息工程学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：文化科学自动化与计算机技术电子电信更多>>
- 安全协议的形式化分析方法初探
- 2007年
- 安全协议是网络安全的重要因素,但是它并不完善,我们需要用形式化的方法去分析它是否具有相应的安全属性。本文主要分析了三类典型的安全协议形式化分析方法,研究这些方法的基本思想和优缺点,并提出了形式化分析方法中存在的问题及可行的解决办法。
- 郭宇燕
- 关键词：安全协议形式化分析方法
- 对改进的无线认证协议SSM的分析
- 2009年
- 针对刘霞提出的改进的Server-specific MAKEP协议,首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析,并运用"理想"和"诚实"两个概念简化分析协议的步骤,证明了rs,rc是保密的,然后对协议的认证性进行分析,分析包括响应者认证和发起者认证。最终结果表明改进的SSM协议能够达到协议的安全目标。
- 郭宇燕魏仕民卓泽朋
- 关键词：串空间机密性认证性
- 基于辫群的识别协议
- 2008年
- 辫群是一种非交换的无限群,该群中有许多困难问题是不可解的,如字问题、共轭问题和根问题等,利用这些困难问题可以去设计一些密码协议。文中基于辫群上的共轭问题和共轭查找问题提出了一种识别协议,同时分析了协议的特性。
- 卓泽朋魏仕民郭宇燕
- 关键词：辫群
- 构建我国高等教育权力分配的平衡态
- 2007年
- 科学发展观是新世纪新阶段指导党和国家事业发展全局的重大战略思想,和谐的主题贯穿于科学发展观的始终,是科学发展观的灵魂和主线。和谐的理念也渗透到高等教育系统的方方面面,权力分配作为高等教育系统中的关键环节,其对和谐的追求取决于权力分配平衡态的构建。在我国高等教育系统中,来源于政治的高等教育权力具有压倒性的优势,而其它群体的权力长期被遮蔽,处于高等教育权力边缘的位置,这种现状严重制约着权力分配平衡态的构建。因此,通过高等教育权力分配改革,构建我国高等教育权力分配的平衡态,以促进整个高等教育系统的和谐,势在必行。
- 周霁野郭宇燕
- 关键词：高等教育权力分配平衡态
- 我国大学行政文化刍议被引量：4
- 2008年
- 大学行政文化改革是我国大学行政改革中具有关键意义的一环。当前,我国大学行政文化现象突出地表现为大学行政文化的强势、大学教师与行政人员的对立、大学行政文化无处不在和大学行政的官僚化。它的形成和发展既有深刻的社会历史原因,也受到大学自身逻辑运动的影响。今后我国大学行政文化应朝着以下几个方向发展:由主导变为主体、由前台退居后台、由强势转为弱势、由刚性化为柔性。
- 周霁野郭宇燕
- 关键词：行政文化行政改革
- 用串空间分析路由协议SGSR
- 2007年
- 用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。
- 郭宇燕魏仕民
- 关键词：串空间认证性机密性
- 基于串空间模型的改进性N-S协议的分析
- 2008年
- 针对缪祥华提出的改进的Needham-Schroeder协议,利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性,包括响应者认证、发起者认证和协议的机密性进行分析,并运用"理想"和"诚实"2个概念简化分析协议的步骤,证明了K,Nb,Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标,并与缪祥华分析的结果一致。
- 郭宇燕魏仕民
- 关键词：串空间认证性机密性
- “90后”大学生群体教育管理探微被引量：3
- 2011年
- "90后"大学生呈现出与以往不同的时代特点,为了更好地管理好"90后"大学生,首先要明确认识这一类学生的主要特点,并从思想、行为、生活、学习等几个方面进行分析研究。针对存在的问题,先后从爱国主义教育、学习能力培养、心理健康辅导、团体协作能力培养、网络行为引导共五个方面提出相应的管理策略,通过使用这些教育管理方法,可以更好地发挥教育管理在大学生成长中的作用。
- 郭宇燕
- 关键词：大学生教育管理
- 认证测试与理想分析方法比较
- 2010年
- 针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.
- 郭宇燕魏仕民曹浩
- 关键词：串空间模型认证性
