首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   350篇
  国内免费   12篇
  完全免费   48篇
  自动化技术   410篇
  2022年   1篇
  2020年   2篇
  2019年   3篇
  2018年   2篇
  2017年   3篇
  2016年   2篇
  2015年   6篇
  2014年   20篇
  2013年   19篇
  2012年   22篇
  2011年   32篇
  2010年   20篇
  2009年   20篇
  2008年   24篇
  2007年   39篇
  2006年   21篇
  2005年   32篇
  2004年   14篇
  2003年   30篇
  2002年   23篇
  2001年   18篇
  2000年   21篇
  1999年   10篇
  1998年   7篇
  1997年   4篇
  1996年   5篇
  1995年   2篇
  1994年   2篇
  1992年   2篇
  1991年   1篇
  1988年   1篇
  1985年   1篇
  1984年   1篇
排序方式: 共有410条查询结果,搜索用时 77 毫秒
1.
一种分析电子商务协议的新工具   总被引:47,自引:3,他引:44       下载免费PDF全文
周典萃  卿斯汉  周展飞 《软件学报》2001,12(9):1318-1328
提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.  相似文献
2.
Kailar逻辑的缺陷   总被引:30,自引:5,他引:25       下载免费PDF全文
周典萃  卿斯汉  周展飞 《软件学报》1999,10(12):1238-1245
近年来,电子商务协议的设计逐渐成为热点.可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力.缺乏可追究性,电子交易容易引起争议.因此,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.该文指出这一逻辑的缺陷:(1) 不能分析协议的公平性;(2) 对协议语句的解释及初始化假设是非形式化的,存在局限性;(3) 无法处理密文.  相似文献
3.
电子商务协议中的可信第三方角色   总被引:28,自引:2,他引:26       下载免费PDF全文
卿斯汉 《软件学报》2003,14(11):1936-1943
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法.  相似文献
4.
一种电子商务协议形式化分析方法   总被引:15,自引:0,他引:15       下载免费PDF全文
卿斯汉 《软件学报》2005,16(10):1757-1765
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理.  相似文献
5.
网络计费系统数据采集技术研究   总被引:13,自引:0,他引:13  
计费系统对于ISP以及与因特网互连的Intranet都必不可少,计费系统的开发,数据采集是关键。文中介绍了满足不同计费方式需要的数据采集技术,以及它们各自的特点,应用数据采集技术实现并开发出满足自己单位需求的计费系统。  相似文献
6.
SET协议中问题的分析及解决方案   总被引:12,自引:0,他引:12  
文中对SET协议中的“k out of n”问题进行了全面的分析,并提出了完整的解决方案,在对SET付费业务流程中的两个关键性问题用NDL逻辑进行验证后,给出了它们的Prolgo程序流程,全文着重于在SET协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Prolog语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。  相似文献
7.
802.1x标准和Radius协议的扩展应用研究   总被引:11,自引:1,他引:10  
蒋海锋  苗放 《计算机应用》2003,23(11):88-90
首先介绍了802.1x标准和RADIUS协议的基本概念和原理,并对802.1x标准和RADIUS协议在宽带网络和无线网络中的应用做了分析,结合实际应用的需求,指出了802.1x标准和RADIUS协议在实际应用中的不足与缺陷,分析其难以推广的原因,提出了实现扩展应用的设计方案和具体实现方法,以符合宽带环境下认证和计费的实际应用需求。  相似文献
8.
校园网安全计费方案探讨   总被引:11,自引:0,他引:11  
随着校园网的不断发展,对网络安全计费的要求越来越高。该文探讨了以前校园网基于IP计费方案的不足,并对基于用户计费的方案作了介绍。  相似文献
9.
Since the mid-1980s, expert systems have been developed for a variety of problems in accounting and finance. The most commonly cited problems in developing these systems are the unavailability of the experts and knowledge engineers and difficulties with the rule extraction process. Within the field of artificial intelligence, this has been called the ‘knowledge acquisition’ (KA) problem and has been identified as a major bottleneck in the expert system development process. Recent empirical research reveals that certain KA techniques are significantly more efficient than others in helping to extract certain types of knowledge within specific problem domains. This paper presents a mapping between these empirical studies and a generic taxonomy of expert system problem domains. To accomplish this, we first examine the range of problem domains and suggest a mapping of accounting and finance tasks to a generic problem domain taxonomy. We then identify and describe the most prominent KA techniques employed in developing expert systems in accounting and finance. After examining and summarizing the existing empirical KA work, we conclude by showing how the empirical KA research in the various problem domains can be used to provide guidance to developers of expert systems in the fields of accounting and finance.  相似文献
10.
一种分析电子商务协议的新方法   总被引:8,自引:0,他引:8  
通过将Kailar逻辑和LPC形式方法相结合,提出一种新的用于分析电子商务协议的形式化方法,新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力,该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性,使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议。与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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