搜索筛选:
搜索耗时0.8667秒,为你在为你在102,285,761篇论文里面共找到 1,000 篇相符的论文内容
发布年度:
[期刊论文] 作者：H.J.汉克,马元珽,
来源：水利水电快报 年份：2003
作为现代化方案的组成部分,德国两座水电站正在安装新的自动化系统,以优化运行.电站将与遥控中心连接,使电站尽可能低费用和高效益运行....
[期刊论文] 作者：汉斯,
来源：健康大视野 年份：2003
医学专家指出,各种各样的生存恐惧症正在越来越严重地困扰着现代人,成为一个不得不引起人们重视的社会问题。对于大多数人而言,对生存恐惧可能并不陌生,但对生存恐惧症本身的...
[期刊论文] 作者：卿斯汉,
来源：软件学报 年份：2003
总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望....
[期刊论文] 作者：卿斯汉,
来源：计算机安全 年份：2003
最近几年,全球的信息安全产业发展很快。从防火墙来看,据IDC统计,1996年,全球防火墙产值只有15亿美元,到2002年,已经达到31亿美元,预计到2005年将达到55亿美元。 国内的发展速度也很快。近几年国内加快了网络建设的速度,几大运营商都构建了遍布全国的高速骨干和......
[期刊论文] 作者：卿斯汉,
来源：计算机安全 年份：2003
2003年来到了,我们寄希望于2003年,希望IT市场有新的高速发展,也希望IT安全界有新的跨越式的发展.那么,在信息安全领域,我们的重点应当放在什么地方呢?经历了初级阶段的发展...
[期刊论文] 作者：卿斯汉,
来源：软件学报 年份：2003
串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点....
[期刊论文] 作者：卿斯汉,
来源：软件学报 年份：2003
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline...
[期刊论文] 作者：卿斯汉,
来源：软件学报 年份：2003
随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还...
[期刊论文] 作者：卿斯汉,,
来源：计算机安全 年份：2003
...
[会议论文] 作者：卿斯汉,
来源：2003信息保密专业委员会学术年会 年份：2003
本文通过三类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline、online和offline TTP协议中的不同作用,并从非否认性、可追究性、公平...
[期刊论文] 作者：罗杰,汉斯,
来源：交通企业管理 年份：2003
作为德国著名汽车制造厂商——宝马集团，素以设计精良、做工精美等优势见长。然而，2001年末，该公司却出大意料地宣称：将对其相当一部分设计任务及X3新款运动车型的整车生产实行外......
[期刊论文] 作者：汉斯．法拉达,
来源：孩子 年份：2003
通常在这几条切实有效的原则之后，就到了整个策划结束的时候了。但这次，因为要解决的问题比较特殊，我们想给出一个特别的结尾，那就是一个能够有效解决孩子哭闹问题的法宝：讲故事。 没有孩子不喜欢听故事。这个故事里面的主人公也一样。但是，由于他的哭闹，他竟然错过......
[期刊论文] 作者：汉克亥瑞斯,
来源：中国畜牧兽医学会 年份：2003
本文介绍了PRRS病毒的一些基本概况、传染的主要途径、相关疾病、预防以及治疗,探讨了如何在阳性猪场生产PRRS阴性猪等等....
[期刊论文] 作者：王涛,卿斯汉,刘海峰,
来源：计算机工程 年份：2003
提出了构建一个适用范围广、可移植性好、采用自主和强制访问控制机制并符合BLP多级安全模型的安全Web服务器所应遵循的原则、策略和实现方法.该安全Web服务器具有简单实用、...
[期刊论文] 作者：杨汉生,林斯燕,
来源：上海工业 年份：2003
...
[期刊论文] 作者：郁进,叶斯木汉,
来源：中华临床医药杂志（北京） 年份：2003
目的：观察单一采用环孢菌素A治疗纯红细胞冉生障碍性贫血的临床疗效。方法：所有病例均采用环孢菌素A单一药物治疗。结果：4例明显缓解，l例无效。结论：环孢菌素A治疗纯红细胞再生障......
[期刊论文] 作者：吴文玲,卿斯汉,
来源：软件学报 年份：2003
讨论AC分组密码对差分和线性密码分析的安全性,通过估计3轮AC的差分活动盒子的个数下界和12轮AC的线性活动盒子的个数下界,本文得到AC的12轮差分特征概率不大于2-128和线性逼...
[期刊论文] 作者：吴文玲,卿斯汉,
来源：电子学报 年份：2003
SAFER + +是进入NESSIE第二轮评估的 7个算法之一 .设计者称 2 .5轮SAFER + +可以抵抗线性密码分析 .JNakahara指出对某些密钥 ,改进型线性密码分析攻击 4轮SAFER + +比强力...
[期刊论文] 作者：汉斯·霍因,陈威,
来源：国外社会科学文摘 年份：2003
人们曾经想象,美国总统在召开作战会议时再三向其亲信表示,他的军事力量,也就是世界最强大的战争机器不会用来推进“建立国家”。可现在事实却与这种想象大相径庭。 总统布...
[期刊论文] 作者：汉斯·兰克,王伟,
来源：西安交通大学学报(社会科学版) 年份：2003
哲学带着曾在 2 0世纪促进了自己发展的历史事件、世纪交替之际未竟的尚存命题、俟待哲学给予关注的时代问题进入了新千年。世纪交替昭示着人类社会生活与自然时空关系的新型...
相关搜索：
