搜索筛选:
搜索耗时0.2663秒,为你在为你在100,376,600篇论文里面共找到 52 篇相符的论文内容
发布年度:
[学位论文] 作者：刘东喜,,
来源：上海交通大学 年份：2017
随着陆地和近海油气资源日渐枯竭,海洋油气资源开发不断向深海延伸。传统的深海油气田开采需要两套功能独立的系统,即钻井系统和生产储油系统,这种开发模式不但投资巨大,而且...
[期刊论文] 作者：刘东喜,,
来源：中国农垦 年份：2016
有一本果慈所著的仙侠异侠的图书,书名《真缘》,讲述一位记者的亲身经历,引发出多彩的人生故事。在我看来,真正的缘,不只是对方留下的那些美好的第一印象,而是认识对方很久却...
[期刊论文] 作者：刘东喜,
来源：北方文学(上旬刊) 年份：2020
突如其来的感动rn庚子夏至,意外收到了来自福建省南平市陌生人寄来的建盏.这是南平特产,中国国家地理标志产品.rn我还在发愣,爱人凑过来说:“打开吧,儿子到国外求学又赶上新...
[期刊论文] 作者：刘东喜, 罗琴,,
来源：审计月刊 年份：2005
...
[期刊论文] 作者：刘东喜, 李德胜,,
来源：审计月刊 年份：2004
近三年来,武汉市内部审计师协会(以下简称协会)依靠省内审协会、市审计机关和会员单位,按照《审计署关于内部审计工作规定》和《中国内部审计准则》要求,围绕服务武汉经...
[期刊论文] 作者：刘东喜,白英彩,
来源：软件学报 年份：2002
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类...
[期刊论文] 作者：刘东喜,罗琴,
来源：中国内部审计 年份：2005
笔者曾随武汉市内部审计培训团赴澳大利亚进行了为期22天的专业知识培训。在澳培训、访问期间，学习了澳大利亚内审理论、内审工作程序、内审技术和方法等内容，了解了澳内审协会......
[期刊论文] 作者：刘东喜,白英彩,
来源：Journal of Shanghai Jiaotong University 年份：2002
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic...
[期刊论文] 作者：陈平,刘东喜,白英彩,
来源：计算机应用与软件 年份：2003
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。......
[期刊论文] 作者：刘东喜,张年德,
来源：中国内部审计 年份：2014
近年来,武汉市内部审计师协会（以下简称协会）紧紧依靠湖北省内部审计师协会、武汉市审计机关和会员单位,按照《审计署关于内部审计工作规定》和《中国内部审计准则》要求,围绕......
[期刊论文] 作者：刘东喜,黄其军,
来源：电脑与数控 年份：1989
...
[期刊论文] 作者：李小勇,刘东喜,等,
来源：电子学报 年份：2002
本文提出并实现了一个改进的路由器包转发模型，该模型解决了传统模型在系统过载时吞吐量下降和延迟剧增的问题，并避免了传统模型中多级队列导致的包转发延迟。实际测试表明路由......
[期刊论文] 作者：LIU,Dong-xi(刘东喜),LI,Xiao-yong(,
来源：上海交通大学学报：英文版 年份：2002
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic...
[期刊论文] 作者：李小勇,刘东喜,白英彩,
来源：计算机应用与软件 年份：2004
近年来针对网络的攻击呈快速增长之势 ,严重威胁着网络的安全。本文分析了多种针对TCP协议的攻击的原理 ,研究了检测或预防这些攻击的方法 ,并对其中一些攻击给出了检测算法...
[期刊论文] 作者：刘东喜,李小勇,白英彩,
来源：计算机科学技术学报 年份：2002
This paper proposes an automatic attack construction algorithm in order to find potential attacks on security protocols. It is based on a dynamic strand space m...
[期刊论文] 作者：刘东喜,张连华,白英彩,
来源：Journal of Shanghai Jiaotong University 年份：2003
This paper proposed two modifications on IKE protocol with pre-shared key authentication. The first modification can improve its immunity against DDoS attack by...
[期刊论文] 作者：刘东喜,李晓勇,白英彩,
来源：上海交通大学学报 年份：2004
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic...
[期刊论文] 作者：王勇,刘庆,刘东喜,王健,,
来源：中国农村水利水电 年份：2012
为了研究叶片包角对离心泵空化性能的影响，选择3台不同比转数的离心泵为研究对象，分别将各模型的设计包角做减少5°、增加5°和10° 变化。基于ANSYSCFX软件应用标...
[期刊论文] 作者：刘东喜,赵玉源,李小勇,白英彩,
来源：1999信息安全国际会议 年份：1999
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把协议的安全性问题转化为Petri网单个位置的1-...
[期刊论文] 作者：李小勇,刘东喜,谷大武,白英彩,
来源：上海交通大学学报 年份：2004
提出并实现了一个基于网络入侵检测的入侵者定位系统.该系统利用分布在网络内的多个网络检测器检测网络攻击,并提取攻击指纹信息,由中央分析器对指纹信息进行相关性分析,构造...
相关搜索：
