扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
系统安全与防护指南 版权信息
- ISBN：9787118125979
- 条形码：9787118125979 ; 978-7-118-12597-9
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
系统安全与防护指南 内容简介
本书针对CPS系统在社会、国家、经济等各个领域的快速发展和应用，围绕CPS安全技术和典型应用等方面进行了深入研究和前瞻性分析，紧跟当今时代网络信息技术发展的近期新趋势，从不同专业领域角度，综合分析了未来网络物理系统面临的安全风险和攻击威胁，具体包括安全软件设计、业务安全、进化安全、安全保障、安全风险、云服务与云架构安全、智能电网安全等，并给出相应yingyonga案例。
系统安全与防护指南 目录
**部分 系统介绍
第1章 概述
1．1 更宽广目标的系统安全与防护指南的需求
第2章 信息物理系统的组成和组合性
2．1 信息物理系统概述
2．2 OpenMETA工具套件中的横向集成平台
2．3 AVM组件模型
2．4 语义集成的用例
2．5 动力学的组件接口和组合语义
2．6 建模语言语义接口的形式化
2．7 小结
致谢
参考文献
第3章 领域专家主导的基于模型开发的软件工程
3．1 软件工程简介
3，2开发过程：如何进行软件设计开发
3．2．1 软件工程阶段及领域专家参与
3．2．2 工具的重要性
3．2．3 案例：传输控制软件
3．3 需求：软件应做什么
3．3．1 良好的需求非常重要
3．3．2 需求规范的目的及其使用者
3．3．3 Simulink模型不是需求
3．3．4 当前需求规范面临的问题
3．3．5 需求规范编制者
3．3．6 需求规范的内容
3．4 设计：软件将如何去做
3．4．1 设计与需求的区别
3．4．2 软件设计的重要原则
3．4．3 Simulink对于软件工程原理应用的支持
3．4．4 指南的作用
3．4．5 软件设计文档
3．4．6 模型文档
3．4．7 当前软件设计文档存在的问题
3．5 实现：生成代码
3，5．1 代码生成对于MBD的成功至关重要
3．5．2 代码生成的限制
3．6 确认与验证：如何确知软件有效
3．6．1 为何早期验证非常重要？MBD是否有用？
3．6．2 测试软件与测试其他工程产品的区别
3．6．3 如何选择测试，何时停止测试
3．6．4 MBD中的其他验证技术
3．7 小结
参考文献
第二部分 安全与防护观点
第4章 进化的安全
4．1 信息物理系统的安全需求
4．1．1 黑客能力和系统复杂性
4．1．2 增强系统安全性
4．1．3 风险与资产余额
4．2 新的对手模型
4．2．1 攻击面
4．2．2 攻击面加权
4．2．3 攻击入口点
4，2．4 基于角色的访问
4．2．5 资源访问
4．3 “互连”系统安全建模
4．4 定向威胁评估
……
第三部分 系统安全与防护的应用
关于编者
贡献者简介
第1章 概述
1．1 更宽广目标的系统安全与防护指南的需求
第2章 信息物理系统的组成和组合性
2．1 信息物理系统概述
2．2 OpenMETA工具套件中的横向集成平台
2．3 AVM组件模型
2．4 语义集成的用例
2．5 动力学的组件接口和组合语义
2．6 建模语言语义接口的形式化
2．7 小结
致谢
参考文献
第3章 领域专家主导的基于模型开发的软件工程
3．1 软件工程简介
3，2开发过程：如何进行软件设计开发
3．2．1 软件工程阶段及领域专家参与
3．2．2 工具的重要性
3．2．3 案例：传输控制软件
3．3 需求：软件应做什么
3．3．1 良好的需求非常重要
3．3．2 需求规范的目的及其使用者
3．3．3 Simulink模型不是需求
3．3．4 当前需求规范面临的问题
3．3．5 需求规范编制者
3．3．6 需求规范的内容
3．4 设计：软件将如何去做
3．4．1 设计与需求的区别
3．4．2 软件设计的重要原则
3．4．3 Simulink对于软件工程原理应用的支持
3．4．4 指南的作用
3．4．5 软件设计文档
3．4．6 模型文档
3．4．7 当前软件设计文档存在的问题
3．5 实现：生成代码
3，5．1 代码生成对于MBD的成功至关重要
3．5．2 代码生成的限制
3．6 确认与验证：如何确知软件有效
3．6．1 为何早期验证非常重要？MBD是否有用？
3．6．2 测试软件与测试其他工程产品的区别
3．6．3 如何选择测试，何时停止测试
3．6．4 MBD中的其他验证技术
3．7 小结
参考文献
第二部分 安全与防护观点
第4章 进化的安全
4．1 信息物理系统的安全需求
4．1．1 黑客能力和系统复杂性
4．1．2 增强系统安全性
4．1．3 风险与资产余额
4．2 新的对手模型
4．2．1 攻击面
4．2．2 攻击面加权
4．2．3 攻击入口点
4，2．4 基于角色的访问
4．2．5 资源访问
4．3 “互连”系统安全建模
4．4 定向威胁评估
……
第三部分 系统安全与防护的应用
关于编者
贡献者简介
展开全部
系统安全与防护指南 作者简介
[美]Edward Griffor博士，是美国商务部国家标准和技术研究所（NIST）信息物理系统副主任。在2015年7月加入NIST之前，担任沃特P．克莱斯勒公司技术会士，这是汽车行业高的技术职务之一，在运输、航空、科学、防御、能源和医疗等诸多工业领域也有同类职务。直到2015年前，他担任克莱斯勒公司技术委员会主席，后续担任麻省理工学院（MIT）联盟主席，这是在MIT培训联合科学家、工程师、商业专家的专业联盟。 他在MIT完成数学博士学习，并被奥斯陆大学授予数学与工程特聘教授。1980年，获得瑞典国家科学基金／北约科学与工程博士后。1980年至1997年，任瑞典乌普萨拉大学教师，随后返回美国领导汽车行业的电气工程前沿研究。 他历任挪威奥斯陆大学、瑞典乌普萨拉大学、智利圣地亚哥天主教大学的教职，以及美国哈佛大学、MIT、塔夫茨大学的教职。Edward Griffor博士被认为是***专家，采用数学方法进行技术设计和保障，用于高级、自适应信息物理系统开发以及自动系统的安全与防护。在克莱斯勒公司工作期间，领导了生物系统建模与仿真。他是密歇根州底特律市韦恩州立大学医学院分子医学和遗传学中心副教授。 他在汽车工业的工作为语音识别和自主互连汽车提供了先进算法。他曾出版3本专著，包括《可计算手册》《域理论》《逻辑的遗失天赋：Gerhard Gentzen生平》；在专业期刊发表大量论文，并多次在美国数学协会、符号逻辑协会、北美软件认证协会、汽车工业协会、联邦储备银行，以及NIST、DARPA、DOE、DOT、NASA等美国政府各部门等进行演讲报告。 毛俐旻，航天科工集团信息中心总体室副主任，研究员／博士，研究方向是网络安全、大数据。长期从事网络安全体系规划、前沿探索和关键技术研究，先后主持和参与中央网信办、国家科技部、国防工业等领域等多个项目。
书友推荐
- >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
有舍有得是人生
有舍有得是人生
¥17.1¥45.0 - >
月亮虎
月亮虎
¥14.4¥48.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
姑妈的宝刀
姑妈的宝刀
¥9.0¥30.0 - >
自卑与超越
自卑与超越
¥12.7¥39.8 - >
莉莉和章鱼
莉莉和章鱼
¥13.4¥42.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8
本类畅销
-
基于近邻思想和同步模型的聚类算法
¥44.1¥59 -
深度学习
¥92.4¥168 -
微信背后的产品观
¥62.6¥88 -
NGINX经典教程
¥89.9¥119.8 -
图解TCP/IP(第6版)
¥56.9¥79.8 -
物联网动态服务的协同感知与调控优化
¥51.4¥72
