返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 全新正版软件安全需求形式化建模和验9787568401128江苏大学
    • 作者: 李震|责编:吴昌兴著 | 李震|责编:吴昌兴编 | 李震|责编:吴昌兴译 | 李震|责编:吴昌兴绘
    • 出版社: 江苏大学出版社
    • 出版时间:2019-11-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 李震|责编:吴昌兴著| 李震|责编:吴昌兴编| 李震|责编:吴昌兴译| 李震|责编:吴昌兴绘
    • 出版社:江苏大学出版社
    • 出版时间:2019-11-01
    • 版次:1
    • 印次:1
    • 印刷时间:2019-11-01
    • 开本:32开
    • ISBN:9787568401128
    • 版权提供:江苏大学出版社
    • 作者:李震|责编:吴昌兴
    • 著:李震|责编:吴昌兴
    • 装帧:暂无
    • 印次:1
    • 定价:42.00
    • ISBN:9787568401128
    • 出版社:江苏大学
    • 开本:32开
    • 印刷时间:2019-11-01
    • 语种:暂无
    • 出版时间:2019-11-01
    • 页数:暂无
    • 外部编号:30817757
    • 版次:1
    • 成品尺寸:暂无

    章 绪论
    1.1 研究工作的意义
    1.2 国内外相关研究现状
    1.2.1 软件安全概况
    1.2.2 软件安全需求建模
    1.. 软件安全需求验
    1.2.4 自动化工具
    1.2.5 小结
    1.3 研究内容与创新
    1.4 结构框架
    1.5 本章小结
    第2章 基本概念和方法
    2.1 软件安全
    2.1.1 软件安全定义
    2.1.2 软件安全需求定义
    2.2 形式化方法
    2.2.1 概述
    2.2.2 本体
    2.. Petri网
    2.2.4 模型检验
    2.2.5 分析和说明
    . 本章小结
    第3章 软件安全需求过程
    3.1 标准和手册
    3.2 过程概述
    3.3 软件和系统安全子过程
    3.3.1 初步危险分析
    3.3.2 识别安全关键软件
    3.3.3 风险分级
    3.4 软件安全策划子过程
    3.4.1 刻画安全关键软件
    3.4.2 确定软件风险指数
    3.4.3 确定安全工作
    3.5 软件需求子过程
    3.5.1 通用安全需求获取
    3.5.2 特定安全需求获取
    3.5.3 需求关键分析
    3.6 本章小结
    第4章 软件安全需求形式化建模
    4.1 基于本体的静态建模
    4.1.1 本体建模
    4.1.2 E-R模型概貌
    4.1.3 软件和系统安全阶段子模型
    4.1.4 软件安全策划阶段子模型
    4.1.5 软件需求阶段子模型
    4.2 基于Petri网的动态建模
    4.2.1 基本Petri网
    4.2.2 软件安全Petri网
    4.3 本章小结
    第5章 软件安全需求形式化验

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购