刘楠
- 作品数:9 被引量:1H指数:1
- 供职机构:解放军信息工程大学更多>>
- 相关领域:文化科学自动化与计算机技术理学电子电信更多>>
- 安全协议分析方法及装置
- 本发明公开了一种安全协议分析方法及装置,其中,安全协议分析方法主要包括:对安全协议进行初始化,应用后继产生算法,产生后继状态,并判断该后继状态是否为不安全状态,如果是不安全状态,则给出从初始状态到该状态的路径;如果否,则...
- 刘楠祝跃飞颜学雄康绯陈晨马亚南
- 基于主动防御的信息防泄漏系统
- 祝跃飞费金龙陈庶民贺新征刘楠张亚娟吴树华黄莉陈卫红刘龙
- 随着网络的不断发展,加之移动存储设备的丰富,及其应用软件所提供的最大使用方便性,内部人员对敏感文件的窃取异常轻松,统计表明,对于一个网络而言,70%的网络安全隐患来源于网络内部。“基于主动防御的信息防泄漏系统”是针对当前...
- 关键词:
- 关键词:主动防御系统软件系统
- 基于游戏序列的密码协议安全性证明方法及装置
- 本申请公开了一种基于游戏序列的密码协议安全性证明方法。采用构造游戏序列的方式进行安全性证明。以Pi演算为蓝本,定义一种使用计算机模型语义的进程演算,并用它来描述游戏序列。在此基础上,设计了一套进程演化方法,包括概率观察等...
- 顾纯祥祝跃飞光焱刘楠吴树华
- 文献传递
- 《概率论与数理统计》思政案例的可视化开发
- 2024年
- 本文针对《概率论与数理统计》课程中的概念、公式、计算方法和知识拓展中的案例进行更新和完善,充分挖掘案例中蕴含的思政元素,并通过软件进行可视化开发,使思政元素与教学内容贴切融合,形象展现,提高学生的学习兴趣和实践能力,促进其综合素质的提升。
- 郭淑妹李新娜刘楠
- 关键词:CITESPACE数学实验可视化
- 大思政背景下《高等代数》教学的探索与实践被引量:1
- 2023年
- 在“课程思政”建设大背景下,结合党在新时期的强军目标,如何将“思政元素”有机地融入到课程教学中,是奋战在教学一线的教师面临的重大挑战。本文结合《高等代数》课程的特点,从思维方法训练、辩证唯物主义教育、数学文化熏陶三个方面介绍了课程教学中践行课程思政的一些方法,力求以隐性教育的方式,实现课程的德育功能。
- 张宁刘楠郭淑妹
- 关键词:思辨能力文化自信
- 信息安全专业“计算机网络”教学改革研究
- 本文阐述了信息安全专业'计算机网络'课程的一些教学现状,分析了在教学中存在的不足,并根据目前网络安全发展要求,针对信息安全专业计算机网络课程教学过程中出现的问题,结合自己的教学实践,提出提高高等院校计算机网络课程教学水平...
- 费金龙康绯刘胜利刘楠
- 关键词:信息安全专业计算机网络实验教学课程改革
- 文献传递
- 浅谈如何提高学生的数学素质
- 2012年
- 大学数学教学是高等理工科院校基础课教学的重要组成部分,在素质教育中起着非常重要的作用。本文结合笔者的教学实践,针对大学数学教学的特点,从激发学生学习兴趣,加强学习方法指导,提高数学思想能力及加强实践性教学等方面进行了探讨,旨在提高教学效果,培养学生的创新意识和创新能力,提高学生的数学素质。
- 吕学斌刘楠
- 关键词:数学素质数学能力
- 安全协议分析方法及装置
- 本申请公开了一种安全协议分析方法及装置,其中,安全协议分析方法主要包括:对安全协议进行初始化,应用后继产生算法,产生后继状态,并判断该后继状态是否为不安全状态,如果是不安全状态,则给出从初始状态到该状态的路径;如果否,则...
- 刘楠祝跃飞颜学雄康绯陈晨马亚南
- 文献传递
- 基于游戏序列的密码协议安全性证明方法及装置
- 本发明公开了一种基于游戏序列的密码协议安全性证明方法。采用构造游戏序列的方式进行安全性证明。以Pi演算为蓝本,定义一种使用计算机模型语义的进程演算,并用它来描述游戏序列。在此基础上,设计了一套进程演化方法,包括概率观察等...
- 顾纯祥祝跃飞光焱刘楠吴树华