何冰 作品数:7 被引量:22 H指数:3 供职机构: 广西师范大学计算机科学与信息工程学院 更多>> 发文基金: 国家自然科学基金 北京市教育委员会共建项目 北京市教委科技计划面上项目 更多>> 相关领域: 自动化与计算机技术 文化科学 自然科学总论 更多>>
简单易行的S/KEY认证改进方案 被引量:3 2011年 分析了传统S/KEY一次性口令(OTP)认证方案及现有的改进方案存在的缺陷与不足,提出了一种新的S/KEY认证改进方案。该方案以用户口令PW哈希值作为验证因子实现了双向认证,通过增加消息的完整性保护防止关键消息被伪造,并具备原有方案简单易行的特性,能有效抵御重放攻击、小数攻击和冒充攻击。 何冰关键词:一次性口令 身份认证 “C语言程序设计”课程设计教学探索与实践 2011年 本文根据作为"C语言程序设计"综合实践环节的课程设计的教学目标,分析了目前课程设计的教学模式下存在的一些问题,针对问题提出了改革教学过程、评价方式的一些办法与措施。 何冰关键词:C语言 课程设计 教学模式 教学过程 公平的多方不可否认协议 被引量:4 2005年 电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双重组加密方法的多方不可否认协议,进一步削弱了发送方的优势。最后用SVO逻辑的形式化分析方法证明了协议的正确性。 何冰 李肖坚 夏春和 夏克俭关键词:形式化分析 计算机学科竞赛促进大学生创新能力培养的研究 被引量:5 2016年 培养具有创新精神和实践能力的创新型人才是实施素质教育的目的,也是实现"科教兴国"的重要举措。大学生科技竞赛活动是培养学生创新能力的重要平台,是增强科技意识的重要手段,是培养科技素质的重要途径。近年来,计算机专业的学科竞赛蓬勃发展,促进了学生的创新意识的形成,强化了学生分析问题和解决问题的能力。科技竞赛有利于培养计算机专业大学生的创新能力和实践技能已成为不争的事实。从分析科技竞赛的特点、科技竞赛与创新能力培养的密切关系出发,通过对广西师范大学计算机与信息工程学院近几年的参赛和获奖情况进行整合分析,提出对培养创新型人才、提高创新能力的改进建议,拟为教学改革提供参考。 闻炳海 黎艳玲 何冰 张超英关键词:学科竞赛 教学改革 一种移动Ad Hoc网络可生存性模型建模及仿真验证方法 被引量:8 2013年 针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性. 魏昭 夏春和 何冰 焦健 马心意关键词:移动ADHOC网络 移动互联网 电子商务扩展标准语言研究 被引量:2 2009年 介绍了一种新的电子商务标准——电子商务扩展标准语言(ebXML,Electronic Business Extensible Markup Lan-guage)。首先,从电子商务的数据交换的发展过程介绍了ebXML在电子商务中出现的背景知识。其次,从ebXML的技术架构、技术目标及其重要的构成部分等方面进行综述。有很多与ebXML相似的标准如:SOAP、语义Web与Web服务。将ebXML和其他标准比较时,人们很容易产生混淆,除非明确谁是管理者。ebXML实现的目标不仅包括流线型的购买、传输、货品计价等,还包括合法供应、保险等。即本质上,进货、运输商品或者保证生产不间断都是与ebXML相关。 韦丽娜 何冰关键词:电子数据交换 XML/EDI P2P信任模型中的歧视行为研究 2012年 指出在对等网络(P2P)的基于加权平均的信任模型中存在一种新的用户维度行为不一致的恶意行为,称为歧视行为.其行为特征仅为高权重节点提供诚实服务,以骗取高信任值.分析了产生歧视行为的本质,给出歧视行为的形式定义,讨论该行为的实施策略,并以EigenTrust模型为例,进行仿真验证.实验结果表明:与其他恶意行为比较,歧视行为造成更大的危害性,歧视行为节点提供了5%~15%的诚实服务,而获得了高于一半以上诚实节点的信任值. 何冰 李肖坚 夏春和 刘璀关键词:对等网络(P2P) 信任 加权平均 歧视行为