搜索筛选:
搜索耗时2.2393秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：刘维博,
来源： 年份：2015
本文的研究课题是来源于国家自然科学基金项目——“大型结构台阵振动模拟系统控制方法研究”,对两自由度冗余液压振动台实验系统和双振动台台阵实验系统的控制策略进行理论、仿真及实验研究。振动环境模拟实验是现代工程技术中一种基本的实验手段,通过在实验室......
[学位论文] 作者：刘维博,
来源：西安电子科技大学 年份：2011
安全协议是以密码学为基础,在通信网络和分布式系统中提供各种安全服务的一种协议,在信息系统安全中占据重要的位置。然而对安全协议进行分析和验证是一项非常有挑战的工作,...
[期刊论文] 作者：杨元原,马文平,刘维博,,
来源：北京邮电大学学报 年份：2011
提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据...
[期刊论文] 作者：张福军, 刘维博, 刘晗芮,,
来源：中国城市金融 年份：2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食Back to yield...
[期刊论文] 作者：杨元原, 马文平, 刘维博, 张笑笑,,
来源：重庆大学学报 年份：2012
针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其...
[期刊论文] 作者：杨元凉,马文平,刘维博,张笑笑,
来源：重庆大学学报：自然科学版 年份：2012
针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题，提出了一个多协议攻击自动化检测系统（ADMA）。该系统由协议搜索子系统和攻击确认子系统两部分组成，其中协......
[期刊论文] 作者：杨元原,马文平,刘维博,白晓峰,,
来源：沈阳工业大学学报 年份：2011
针对现有SAT模型检测器不能检测类型缺陷攻击的问题，提出了一种新的SAT#改进模型．该模型通过在匹配模式下引入无类型变量，并利用无类型消息的概念，解除了SAT模型检测器对未知消息......
[期刊论文] 作者：杨元原,马文平,刘维博,俞优,顾健,
来源：西安电子科技大学学报 年份：2012
针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题，提出了一个新的模型检测器SAT#．该模型检测器通过引入抽象异或项的概念及其运算规则，大大降低了攻击者生成的异或......
相关搜索：
