首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   49篇
  国内免费   12篇
  完全免费   54篇
  自动化技术   115篇
  2014年   1篇
  2013年   1篇
  2012年   3篇
  2011年   8篇
  2010年   16篇
  2009年   14篇
  2008年   22篇
  2007年   15篇
  2006年   12篇
  2005年   4篇
  2004年   1篇
  2003年   2篇
  2002年   5篇
  2001年   3篇
  2000年   2篇
  1998年   1篇
  1997年   2篇
  1995年   1篇
  1992年   1篇
  1991年   1篇
排序方式: 共有115条查询结果,搜索用时 156 毫秒
1.
基于Struts架构的J2EE应用软件的设计与开发   总被引:5,自引:1,他引:4  
该文首先从MVC设计模式角度对struts体系结构及组件进行了描述;然后,采用软件可重用的思想,提出了一种基于struts架构的J2EE应用软件设计方法,并依据该方法开发了用户登录模块;最后,针对J2EE应用软件中出现的中文传输乱码问题,提出了一种基于Struts架构的解决方案,并对该方案进行了实现。  相似文献
2.
Internet密钥交换协议安全性分析   总被引:4,自引:0,他引:4  
RFC 2409(IKE)提供了一组Internet密钥交换协议,目的是在IPSec通信双方之间建立安全联盟和经过认证的密钥材料。文章分析了IKE协议安全特性,以及两个阶段中实现各种安全机制的工作原理。同时,发现了存在的安全缺陷,并给出了修改建议。  相似文献
3.
基于Spi演算的SSL3.0协议安全性分析   总被引:4,自引:0,他引:4       下载免费PDF全文
赵宇  王亚弟  韩继红 《计算机应用》2005,25(11):2515-2520
对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。  相似文献
4.
软件Agent及其应用   总被引:3,自引:0,他引:3  
本文讨论了软件Agent的基本概念,并通过Agent在三个领域的成功应用,展示了Agent技术作为一种新的计算模式的用途和潜力。  相似文献
5.
数据库安全模型的设计   总被引:3,自引:0,他引:3  
电子商务时代数据库安全显得尤为重要,许多传统数据库安全系统都存在着漏洞,攻击者就可以利用这些漏洞进入到数据库系统中。特别是敏感数据更容易受到攻击,为了避免这些威胁的发生,本文提出了一种安全数据库的设计方案,以便最大程度上保护敏感数据的安全。  相似文献
6.
安全协议的形式化说明、设计及验证   总被引:3,自引:0,他引:3  
王娜  王亚弟 《计算机应用》2003,23(10):42-45
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。  相似文献
7.
信息隐藏安全性研究   总被引:3,自引:1,他引:2       下载免费PDF全文
汤光明  王亚弟 《计算机工程》2008,34(16):183-185
指出信息隐藏安全的必要条件和主要因素,给出信息隐藏安全性度量指标。根据信息隐藏通信模型,从信息隐藏的原理和面临的威胁方面分析信息隐藏安全性,给出各要素对信息隐藏安全的影响,指出载体信息、秘密信息、隐藏密钥的保密性是隐藏系统安全的必要条件,隐藏密钥的强度是制约其安全的主要因素。从抵抗攻击的角度提出用不可感知性、抗提取性、鲁棒性作为信息隐藏安全性度量指标。  相似文献
8.
基于隐马尔可夫模型的复合攻击预测方法   总被引:3,自引:1,他引:2       下载免费PDF全文
复合攻击成为网络攻击的主要形式之一,入侵检测系统仅能检测到攻击,但不能预测攻击。该文分析了传统的攻击预测方法的不足,提出一种基于隐马尔可夫模型的攻击预测方法,该方法使用隐马尔可夫模型中的Forward算法和Viterbi算法识别攻击者的攻击意图并预测下一步可能的攻击。通过实验验证了该方法的有效性。  相似文献
9.
安全协议的CSP描述技术   总被引:2,自引:2,他引:0  
基于进程代数的CSP方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP相关理论,并以NSPK协议为例系统概述了安全协议的CSP建模方法。为更好的查明协议的安全缺陷,重点研究如何在CSP的体系结构中对协议的安全属性进行形式化描述。并最终提出秘密性、认证性、不可否认性、匿名性的形式化提炼检测目标,为进一步使用模型检测器进行协议验证奠定了理论和技术基础。  相似文献
10.
一种基于域分层概念的RBAC模型   总被引:2,自引:0,他引:2  
研究了RBAC模型的提出、发展、改进及其存在的局限性,在NISTRBAC模型的基础上对RBAC进行了扩展,引入了域和对象组的概念,从而减少了角色的定义,简化了权限的分配,使RBAC模型更适合在大型分层管理的系统中应用。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号