机构

• 软件研究所 [4]
• 计算技术研究所 [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [4]
• 学位论文 [1]

发表日期

• 2013 [1]
• 2012 [1]
• 2006 [1]
• 2004 [2]

学科主题

• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 基于通用知识的软件设计安全性评估 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 11, 页码: 1-6,80 戚荣波; 杜晶; 杨叶   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 软件安全性  通用知识  攻击模式  软件安全性评估  UML顺序图  software security  common knowledge  attack pattern  software security evaluation  UML sequence diagram   一种软件设计安全性评估的自动化辅助方法及实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2012 戚荣波   |  收藏  |  浏览/下载：25/0  |  提交时间：2013/06/19 软件安全  通用知识  攻击模式  软件安全性评估  UML顺序图   基于IGMPv2的隐蔽通道 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 3, 页码: 140-142 华元彬; 蒋建春; 卿斯汉   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13 Internet组管理协议  隐蔽通道  路由器检测选项  最大响应时间  字段  技术应用  协议  软件设计  基本概念  安全性  组播  原理  升级  描述  方法   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29 模型检测  并发系统  软件可靠性  SPIN/Promela  形式化验证  并发系统  逻辑一致性  计算机科学  安全性分析  验证技术  验证工具  研究领域  数据结构  软件系统  建模语言  基本算法  工作机理  分析验证  运用  应用  通道  输出  设计  模型   应用服务器的安全性研究 期刊论文  OAI收割 计算机工程与设计, 2004, 卷号: 25.0, 期号: 011, 页码: 1938 作者:  王茂光;  丁颖;  张艳;  张克   |  收藏  |  浏览/下载：7/0  |  提交时间：2023/12/04 应用服务器  数据库访问  组件  中间件  基础架构  软件部署  体系结构  商务  分析比较  安全性研究