注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 高级软件工程 详细课件

  2. 第零讲： 课程介绍 第一讲： 软件与软件开发 第二讲： 软件典型架构 第三讲： 可信软件概述 第四讲： 可信性度量 第五讲： 需求与可信 第六讲： 设计可信性：模型检查 第七讲： 代码可信分析概述(1) 第八讲： 格与不动点 JPF 使用指南 第九讲： 基于抽象解释的数据流分析第十讲： 符号执行 定理证明：ESC/JAVA 第十一讲： 基于缺陷模式的分析 Findbugs 第十二讲： 系统软件可信性 第十三讲： 监测

  3. 所属分类：Java

    • 发布日期：2009-07-24
    • 文件大小：9437184
    • 提供者：angeldhp

  1. LINGO软件的学习

  2. LINGO是用来求解线性和非线性优化问题的简易工具。LINGO内置了一种建立最优化模型的语言，可以简便地表达大规模问题，利用LINGO高效的求解器可快速求解并分析结果。 §1 LINGO快速入门 当你在windows下开始运行LINGO系统时，会得到类似下面的一个窗口： 外层是主框架窗口，包含了所有菜单命令和工具条，其它所有的窗口将被包含在主窗口之下。在主窗口内的标题为LINGO Model – LINGO1的窗口是LINGO的默认模型窗口，建立的模型都都要 在该窗口内编码实现。下面举两个例子

  3. 所属分类：C

    • 发布日期：2009-08-08
    • 文件大小：319488
    • 提供者：huxlaylyx

  1. Design for Trustworthy Software

  2. 重点介绍了DFTS（Design For Trustworthy Software），可信软件开发过程。具体内容包括RSDM（Robust Software Development Model）等。

  3. 所属分类：专业指导

    • 发布日期：2009-08-10
    • 文件大小：11534336
    • 提供者：qysh123

  1. 可信软件基础研究_重大研究计划综述

  2. 软件可信性基础研究概述，及这个重大研究计划的综述。

  3. 所属分类：专业指导

    • 发布日期：2009-10-06
    • 文件大小：953344
    • 提供者：boyill

  1. turstie实用性评估

  2. 中国可信软件开发环境实用性评估，作为目前研究热点，吸引了众多的软件爱好者的喜欢，你也看看吧

  3. 所属分类：专业指导

    • 发布日期：2010-04-26
    • 文件大小：791552
    • 提供者：ytaoatcn1234

  1. 基于TPM的运行时软件可信证据收集机制

  2. 基于linux Security Module，在Linux中实现了一个可信证据收集代理的模型。

  3. 所属分类：Linux

    • 发布日期：2010-07-16
    • 文件大小：1048576
    • 提供者：shuiyiqun

  1. 可信计算技术 可信软件

  2. 文对可信计算技术进行了介绍和分析，主要介绍了可信计算的概念、国内外发展 状况、发展趋势以及可信计算研究方面的关键技术．可信计算技术是近几年发展起来的一种基于 硬件的计算机安全技术，其通过建立信任链传递机制，使得计算机系统一直在受保护的环境中运 行，有效的保护了计算机中存储数据的机番l生和安全性，并防止了恶意软件对计算机的攻击．

  3. 所属分类：专业指导

  1. 可信软件技术（简单介绍）

  2. 介绍可信软件当前的眼界内容，研究挑战等等，是学习的一些参考文献整理的。

  3. 所属分类：专业指导

    • 发布日期：2010-10-19
    • 文件大小：171008
    • 提供者：sundomore

  1. 我国可信软件产业的发展现状与应对策略

  2. ：发展和扶持可信软件产业，对中国软件产业的崛起和振兴具有重要的现实意义和长远的战略意义。 讨论了可信软件和可信软件产业的涵义，以及发展我国可信软件产业的重要性，对我国可信软件产业的现状 进行了分析与思考，并在此基础上，有针对性地提出了促进我国可信软件产业发展的对策。

  3. 所属分类：专业指导

    • 发布日期：2011-01-09
    • 文件大小：1048576
    • 提供者：kind_water

  1. 基于监控的可信软件构造模型研究与实现

  2. 基于监控的可信软件构造模型研究与实现基于监控的可信软件构造模型研究与实现

  3. 所属分类：其它

    • 发布日期：2011-04-10
    • 文件大小：475136
    • 提供者：xiyexingkong

  1. 可信软件的构造与演化分析专刊前言

  2. 可信软件的构造与演化分析专刊前言,详述可信软件的体系结构

  3. 所属分类：网络安全

    • 发布日期：2011-04-12
    • 文件大小：188416
    • 提供者：sundio

  1. 软件工程课件

  2. 软件工程课件，讲述高可信软件工程

  3. 所属分类：专业指导

    • 发布日期：2008-05-09
    • 文件大小：36864
    • 提供者：xuxiaozhouxp

  1. 基于本体的可信软件演化框架模型

  2. 基于本体的可信软件演化框架模型 基于本体的可信软件演化框架模型 基于本体的可信软件演化框架模型

  3. 所属分类：其它

    • 发布日期：2013-03-07
    • 文件大小：440320
    • 提供者：diannei

  1. 可信软件设计：开发健壮软件的工具、技术和方法-迷你书

  2. 无论你从事的是企业自主软件开发、外包、咨询还是提供技术支持的工作，可信软件设计都会帮助你改进软件质量。从开发人员到项目领导者，从软件总架构师到客户，可信软件设计都能为整个软件行业从业人员和质量管理人员提供有突破性进展的软件解决方案。

  3. 所属分类：软件测试

    • 发布日期：2013-07-24
    • 文件大小：4194304
    • 提供者：hzbooks

  1. 高可信软件

  2. A high confidence system is one that behaves in a well understood and predictable fashion It must withstand malicious attacks as well as naturally occurring hazards and must not cause or contribute to accidents or unacceptable losses The HCSS resear

  3. 所属分类：系统安全

    • 发布日期：2015-03-03
    • 文件大小：131072
    • 提供者：qq_22069659

  1. GB T 37935-2019 可信计算规范 可信软件基.pdf

  2. 该标准规定了可信软件基的功能结构、工作流程、保障要求和交互接口规范，适用于可信软件基的设计、生产和测评。

  3. 所属分类：网络安全

    • 发布日期：2020-03-02
    • 文件大小：34603008
    • 提供者：qq_17518765

  1. 可信计算规范.zip

  2. GBT 29827-2013 信息安全技术 可信计算规范 可信平台主板功能接口 GBT 29828-2013 信息安全技术 可信计算规范 可信连接架构 GBT 29829-2013_信息安全技术 可信计算密码支撑平台功能与接口规范 GBT 36639-2018 信息安全技术 可信计算规范 服务器可信支撑平台 GBT 37935-2019 信息安全技术 可信计算规范 可信软件基 GBT 38638-2020 信息安全技术 可信计算 可信计算体系结构 GBT 38644-2020 信息安全技术

  3. 所属分类：互联网

    • 发布日期：2020-08-03
    • 文件大小：19922944
    • 提供者：duruoyun

  1. 面向可信软件的风险评估方法

  2. 面向可信软件的风险评估方法

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：786432
    • 提供者：weixin_38653040

  1. 基于证据的可信软件过程评估方法

  2. 现有软件过程可信性评估方法中,评估结果往往基于评估人员的主观经验,其准确性和客观性无法得到保证。为解决这个问题,提出了一种基于证据的可信软件过程评估方法(evidence-based trustworthy software process assessment method,EB-TSPAM)。该方法以可信软件过程管理研究成果为基础,度量过程数据,生成软件过程可信性评估证据,并基于证据对软件过程进行可信性评估,达到加强有效过程管理的目的。以软件开发过程中的实际数据作为评估基础,全面考虑软件过程

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：636928
    • 提供者：weixin_38535221

  1. 可信软件非功能需求可满足性经济学方法分析

  2. 可信软件非功能需求可满足性经济学方法分析

  3. 所属分类：其它

    • 发布日期：2021-04-01
    • 文件大小：1048576
    • 提供者：weixin_38499336
« 12 3 4 5 6 7 8 9 10 ... 16 »