您的位置: 专家智库 > >

刘楠

作品数:9 被引量:0H指数:0
供职机构:解放军信息工程大学更多>>
相关领域:文化科学自动化与计算机技术理学电子电信更多>>

文献类型

  • 4篇专利
  • 3篇期刊文章
  • 1篇会议论文
  • 1篇科技成果

领域

  • 3篇自动化与计算...
  • 3篇文化科学
  • 1篇电子电信
  • 1篇理学

主题

  • 3篇计算机
  • 2篇代数
  • 2篇代数性质
  • 2篇等价
  • 2篇等价转化
  • 2篇游戏
  • 2篇原语
  • 2篇数学
  • 2篇思政
  • 2篇人工干预
  • 2篇密码
  • 2篇密码协议
  • 2篇课程
  • 2篇蓝本
  • 2篇计算机模型
  • 2篇分析方法
  • 2篇安全协议
  • 2篇操作符
  • 2篇初始化
  • 1篇信息安全

机构

  • 9篇解放军信息工...
  • 1篇南京工业大学

作者

  • 9篇刘楠
  • 5篇祝跃飞
  • 3篇康绯
  • 2篇陈晨
  • 2篇顾纯祥
  • 2篇颜学雄
  • 2篇费金龙
  • 2篇光焱
  • 2篇郭淑妹
  • 2篇马亚南
  • 1篇刘胜利
  • 1篇贺新征
  • 1篇张宁
  • 1篇刘龙
  • 1篇黄莉
  • 1篇吕学斌
  • 1篇陈庶民
  • 1篇张亚娟

传媒

  • 1篇科技信息
  • 1篇教育进展
  • 1篇创新教育研究
  • 1篇2010年全...

年份

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