您的位置： 专家智库 > >

石曙东

作品数：38 被引量：36H指数：3
供职机构：湖北师范学院计算机科学与技术学院更多>>
发文基金：湖北省自然科学基金湖北省教育厅重点项目国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信轻工技术与工程社会学更多>>

合作作者

文献类型

  • 32篇期刊文章
  • 4篇会议论文
  • 1篇学位论文
  • 1篇科技成果

领域

  • 33篇自动化与计算...
  • 4篇电子电信
  • 1篇经济管理
  • 1篇机械工程
  • 1篇轻工技术与工...
  • 1篇社会学

主题

  • 9篇安全协议
  • 8篇形式化
  • 7篇网络
  • 6篇形式化分析
  • 6篇串空间
  • 6篇串空间模型
  • 5篇签名
  • 4篇数字签名
  • 4篇BAN逻辑
  • 3篇电子商务
  • 3篇商务
  • 3篇网络安全
  • 3篇网络处理
  • 3篇网络处理器
  • 3篇密码
  • 3篇KAILAR...
  • 3篇处理器
  • 2篇单片
  • 2篇单片机
  • 2篇倒立摆

机构

  • 28篇湖北师范学院
  • 12篇华中科技大学
  • 1篇黄石高等专科...
  • 1篇黄石广播电视...
  • 1篇湖北师范大学

作者

  • 38篇石曙东
  • 10篇李之棠
  • 6篇解颜铭
  • 6篇翁艳琴
  • 4篇彭绪富
  • 3篇解云峰
  • 3篇郑治华
  • 2篇徐雄
  • 2篇李国屏
  • 2篇童永承
  • 2篇童钰
  • 1篇李芝棠
  • 1篇李光敏
  • 1篇许新山
  • 1篇刘金华
  • 1篇孙一源
  • 1篇张行文
  • 1篇程永山
  • 1篇陈燕

传媒

  • 13篇湖北师范学院...
  • 3篇计算机工程与...
  • 2篇计算机工程与...
  • 2篇微型机与应用
  • 2篇计算机工程与...
  • 1篇计算机安全
  • 1篇国外电子元器...
  • 1篇农业工程学报
  • 1篇华中科技大学...
  • 1篇小型微型计算...
  • 1篇四川大学学报...
  • 1篇微计算机信息
  • 1篇湖北广播电视...
  • 1篇信息安全与通...
  • 1篇信息通信
  • 1篇2004年全...
  • 1篇全国网络与信...

年份

  • 1篇2016
  • 3篇2015
  • 1篇2013
  • 4篇2012
  • 1篇2011
  • 1篇2009
  • 6篇2007
  • 2篇2006
  • 10篇2004
  • 2篇2002
  • 1篇2001
  • 1篇2000
  • 2篇1998
  • 2篇1997
  • 1篇1993
共 38 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于串空间认证测试理论的认证协议分析被引量：2
2012年
对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。
翁艳琴石曙东解颜铭
关键词：串空间模型
基于Matlab的实时模糊控制系统的研发被引量：2
2007年
研制出一种低成本、高可靠性和高稳定性倒立摆硬件系统,同时提出一种专家模糊控制策略以及基于Matlab的实时控制途径。采用模糊组合变量来减少模糊规则数,并根据摆角来选择不同模糊规则库从而提高控制性能。用Matlab实现的控制算法在对倒立摆的实验中表现出很好的实时控制性能。
徐雄石曙东
关键词：实时控制MATLAB倒立摆模糊控制
残疾人事业信息化和统计关键技术及应用
李光敏张行文程永山石曙东许新山李涛光韩剑亚
该项目属于信息产业及现代服务业领域，它是供区(县市)、社区(村)和街道(镇)的残联专职委员和其他职能部门对残疾人生活、就业、教育等方面进行全方位服务的三级管理平台。主要内容：1)残联业务应用系统实现残疾人基础信息管理、教...
关键词：
关键词：残疾人事业电子档案管理系统
一种基于NP的高速信息审计系统被引量：1
2002年
高速信息采集是千兆网上实现信息审计的难点 ,基于NP的高速信息审计系统用网络处理器硬件来实现网络实时数据采集和高速信息审计 ,可为公安、安全、政府、教育和企业等提供一个对网上传播信息进行信息审计的工具 ;介绍了系统的硬件结构、软件结构和性能指标。
石曙东李之棠
关键词：NP网络处理器信息审计体系结构
Kailar逻辑的改进及应用被引量：2
2012年
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。
翁艳琴石曙东解颜铭
关键词：逻辑系统KAILAR逻辑SVO逻辑安全协议
一种新型的电子商务协议及形式化分析被引量：1
2004年
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。
石曙东李之棠
关键词：电子商务协议BAN逻辑可信第三方
CAI课件设计初探
1998年
计算机辅助教学——CAI 起源于50年代,它是指利用计算机系统来模拟教师的教学活动,组织实施和指导整个教学过程,以实现最优化的教学目标。在教学过程中,CAI 以帮助教师讲课、促进学生理解为目标。其施教的方法和步骤是计算机循序渐进地向学生描述新知识,不断地就学习内容向学生提问,并对学生的学习效果进行测试,对学习内容进行评估,同时向学生提供适当的指导。学生也可随时选择自己感兴趣的内容、合适的学习速度,以便迅速有效地获取知识,从而达到提高教学水平和质量的目的。因此,计算机辅助教学在现代教育特别是在远距离教育中将起着重要的作用,这也是其它电化教育技术无法比拟和取代的。用于计算机辅助教学的应用软件称为课件(Courseware),应用这些课件进行辅助教学,它的质量直接关系到 CAI 的效果。
石曙东陈燕
关键词：计算机辅助教学课件设计学生提问学习者教育技术
一种基于乘积的仿射密码算法
2015年
通过"乘积"来组合密码,是设计现代密码体制的一种重要思想。以不同的密码算法复合来构造一种"混合算法",可以提高密码体制的保密性。对几种不同的简单密码算法做乘积可以构成复杂的函数关系,从而使新的密码算法保密性增强。
樊变霞石曙东郑治华
PCX文件的应用研究
1997年
分析PCX文件的结构,介绍其编码规则及解码技术.实现在EGA/VGA方式下PCX图象的快速显示.
石曙东
关键词：PCX文件解码
一种安全协议的形式化验证方法被引量：2
2004年
BAN(Burrows,AbadiandNeedham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的安全协议。介绍BAN逻辑的产生、成分和分析步骤 ,指出BAN逻辑的缺陷 ,由此而产生的改进BAN逻辑和现状 ,并对BAN类逻辑作全面的回顾与展望 ,得出 :BAN类逻辑仍然是密码协议分析和设计的主要工具 ,但理想化步骤是BAN类逻辑的致命缺陷的结论。展望了BAN类逻辑研究。
石曙东
关键词：安全协议BAN类逻辑网络数据安全
全选 清除 导出
共4页<1234>
聚类工具0