全文获取类型
收费全文 | 456篇 |
免费 | 16篇 |
国内免费 | 25篇 |
专业分类
系统科学 | 58篇 |
丛书文集 | 10篇 |
教育与普及 | 2篇 |
理论与方法论 | 15篇 |
现状及发展 | 11篇 |
综合类 | 401篇 |
出版年
2024年 | 2篇 |
2022年 | 5篇 |
2021年 | 4篇 |
2020年 | 7篇 |
2019年 | 7篇 |
2018年 | 3篇 |
2017年 | 5篇 |
2016年 | 5篇 |
2015年 | 6篇 |
2014年 | 23篇 |
2013年 | 16篇 |
2012年 | 14篇 |
2011年 | 33篇 |
2010年 | 23篇 |
2009年 | 35篇 |
2008年 | 49篇 |
2007年 | 50篇 |
2006年 | 38篇 |
2005年 | 35篇 |
2004年 | 23篇 |
2003年 | 23篇 |
2002年 | 19篇 |
2001年 | 15篇 |
2000年 | 8篇 |
1999年 | 18篇 |
1998年 | 6篇 |
1997年 | 7篇 |
1996年 | 7篇 |
1995年 | 4篇 |
1994年 | 1篇 |
1992年 | 3篇 |
1989年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有497条查询结果,搜索用时 15 毫秒
11.
信息系统风险评估的数学方法 总被引:4,自引:3,他引:4
给出了现代网络信息系统风险域及其风险点的形式化数学描述,建立了风险估计模型,对不同域中的风险关联性作了探讨,为网络信息系统的安全性评估提供了可行的数学方法。 相似文献
12.
一种认证安全性的分析与设计逻辑 总被引:1,自引:0,他引:1
针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性. 相似文献
13.
PLC程序测试与验证的研究进展 总被引:2,自引:0,他引:2
可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。 相似文献
14.
功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。 相似文献
15.
16.
为了实现计算机辅助概念设计,必须对概念设计产品模型进行形式化处理,以获得计算机仿真所要求的数学描述。本文针对现有模型的不足,提出了基于公理化设计的概念设计产品模型-域结构模板,并采用多色集合的方法对其进行了形式化描述,使得模型便于计算机表达和操作。 相似文献
17.
18.
19.
随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃地发展,网络购物已成为一种重要的购物方式.随之,网络购物的安全性问题也受到人们的广泛关注.文章用CCS对目前国内并存的几种网上购物系统模式进行了形式化的描述,并就基本安全性质进行了验证,分析了这几种模式的优缺点. 相似文献
20.
目前,基于密码技术的密码协议对于保证计算机网络安全起着十分重要的作用。这些密码协议的安全性直接影响着网络系统的安全性。形式化方法是一种当前较流行的用于分析密码协议安全性的方法。本文在形式化方法分析密码协议的基础上,对基于公钥的密码协议进行原型抽象和分类,给出了基于协议原型的协议设计方法,并通过实例方法说明此种协议设计方法。 相似文献