信息物理系统安全理论研究

发布时间：2017-08-21 12:25

  本文关键词：信息物理系统安全理论研究

  更多相关文章： 信息物理系统 安全问题 拒绝服务攻击 欺骗攻击 攻击策略 状态估计 最优控制 差分隐私

【摘要】：随着信息技术的飞速发展,人类社会逐渐进入了以数字化、网络化和智能化为特征的信息化时代。智能交通、智慧工厂、智能电网、电子金融、社交网络等各种信息化系统如雨后春笋般地涌现出来,极大地改变了人类社会的生活、生产和管理方式。这些信息化系统利用计算、通信和控制技术,通过信息感知、泛在计算和管理调控,实现物理空间、信息空间和人类社会三元空间互联互通,逐步走向深度融合,并且最终孕育出信息物理系统(Cyber-Physical System, CPS)。未来世界万物互联互通,必然需要CPS具有更高的开放性,而开放性更高则必然导致更高的潜在安全威胁。系统安全事故统计数据显示安全威胁正以指数形式递增并且造成的后果越来越严重,也验证了这一论断。因此,CPS安全问题引起了世界各国政府部门和社会各界的高度关注,并且已经开始大力支持开展CPS安全方面的相关研究。CPS本质上是具有反馈机制的网络化系统,所以从控制视角研究CPS安全问题具有重要理论和现实意义。目前从控制角度出发研究CPS安全问题,包括了攻击行为建模、状态估计安全问题、控制性能安全问题、隐私保护安全问题等方面。虽然这些研究已取得很大进展,但是仍然存在许多不足之处。例如,目前的估计/控制性能安全问题研究,大多集中于针对某些类型攻击设计具有鲁棒性或者弹性的估计器/控制器,而对攻击者存在资源约束时的最优攻击策略研究不足。针对隐私安全问题,大多集中于针对具体应用场景设计隐私保护机制,而关于隐私保护和控制性能之间的权衡问题研究缺乏。本文正是针对这些不足之处展开研究,包括了针对状态估计的DoS攻击策略优化问题研究、针对状态估计的在线欺骗攻击问题研究、针对最优控制的DoS攻击策略优化问题、隐私保护与控制性能权衡问题研究。具体研究内容包含以下几个方面：1.概述了CPS安全问题及其研究现状,分析了研究中存在的不足之处。2.针对远程状态估计的能量受限DoS攻击问题,提出了最优DoS攻击策略。针对两个典型的状态估计性能指标,即平均估计误差和终点时刻误差,分别构建了最优攻击策略。当估计器内置一个特殊的攻击探测机制时,提供了相应的“反检测”的最优攻击策略。另外,还讨论了当传感器也具有能量约束时的最优攻击策略。3.针对远程状态估计的欺骗攻击问题,提出了在线欺骗攻击策略。站在欺骗攻击者角度,研究了如何设计合理的欺骗攻击策略来降低通信率约束下的状态估计性能。经过理论推导,获得了可以降低状态估计性能的在线欺骗攻击策略。为了研究在线策略的有效性,定义了有攻击和无攻击下的状态估计性能偏差,并且分析了在线欺骗攻击策略对估计偏差的影响。4.针对最优控制的能量受限DoS攻击问题,设计了最优DoS攻击策略。研究了攻击者能量约束条件下最大化LQG控制代价函数的DoS攻击策略问题。在分析了任意攻击策略下的代价函数的性质后,推导出最优攻击策略和相应的代价函数,并考察了最优攻击下的系统稳定性问题。研究了多个子系统构成的网络化系统中的最优DoS攻击策略。5.考虑了隐私安全与最优控制权衡问题。在给定的差分隐私保护水平下构建系统性能优化问题。基于线性系统和个人期望的差分隐私保护水平推导出系统性能的显式表达。此外,还提出了CPS中的隐私保护与系统性能权衡问题将来需要进一步考虑的研究点。最后对全文进行了总结,并展望了进一步的研究工作。
【关键词】：信息物理系统 安全问题 拒绝服务攻击 欺骗攻击 攻击策略 状态估计 最优控制 差分隐私
【学位授予单位】：浙江大学
【学位级别】：博士
【学位授予年份】：2015
【分类号】：TP309
【目录】：

• 致谢5-7
• 摘要7-9
• Abstract9-15
• 第一章 绪论15-39
• 本章摘要15
• 1.1 研究背景15-20
• 1.1.1 信息物理系统产生背景15-16
• 1.1.2 信息物理系统的应用16-18
• 1.1.3 信息物理系统的安全问题18-20
• 1.2 信息物理系统安全需求特性与研究挑战20-24
• 1.2.1 信息物理系统安全需求特性20-22
• 1.2.2 信息物理系统安全问题研究挑战22-24
• 1.3 信息物理系统安全问题研究现状24-34
• 1.3.1 攻击行为建模25-27
• 1.3.2 针对系统状态估计的安全问题研究27-30
• 1.3.3 针对系统控制性能的安全问题研究30-33
• 1.3.4 隐私问题研究33-34
• 1.3.5 现有工作存在的不足34
• 1.4 本文研究内容34-39
• 1.4.1 研究思路35-36
• 1.4.2 研究内容36-39
• 第二章 针对状态估计的DoS攻击策略研究39-61
• 本章摘要39
• 2.1 引言39-40
• 2.2 问题构建40-42
• 2.3 最优攻击策略设计42-49
• 2.3.1 DoS攻击下的状态估计42-47
• 2.3.2 最优攻击策略47-49
• 2.4 给定探测机制下的最优攻击策略49-52
• 2.5 传感器能量约束下的最优攻击策略52-56
• 2.6 仿真验证56-60
• 2.7 本章小结60-61
• 第三章 针对状态估计的欺骗攻击策略研究61-77
• 本章摘要61
• 3.1 引言61-62
• 3.2 问题建模62-66
• 3.2.1 远程状态估计63-65
• 3.2.2 攻击者的目标65-66
• 3.3 攻击策略设计与分析66-74
• 3.3.1 预备知识66-68
• 3.3.2 攻击策略设计68-70
• 3.3.3 攻击效果分析70-74
• 3.4 仿真评估74
• 3.5 本章小结74-77
• 第四章 针对最优控制的DoS攻击策略研究77-99
• 本章摘要77
• 4.1 引言77-78
• 4.2 问题描述78-81
• 4.2.1 系统模型78-80
• 4.2.2 攻击模型80-81
• 4.3 预备知识81-85
• 4.4 最优攻击策略分析85-86
• 4.4.1 最优攻击策略85-86
• 4.4.2 最优攻击策略下的系统稳定性分析86
• 4.5 多个闭环子系统情形86-91
• 4.5.1 多个闭环子系统模型87-88
• 4.5.2 最优攻击策略88-91
• 4.6 仿真验证91-96
• 4.6.1 例Ⅰ：单个系统情形91-94
• 4.6.2 例Ⅱ：多个子系统情形94-96
• 4.7 本章小结96-99
• 第五章 隐私安全与最优控制权衡问题研究99-111
• 本章摘要99
• 5.1 引言99-101
• 5.2 问题构建101-104
• 5.2.1 CPS的系统结构101
• 5.2.2 CPS系统中的差分隐私101-103
• 5.2.3 系统性能优化问题103-104
• 5.3 实例分析：LQG控制104-107
• 5.3.1 高斯机制的参数设计105
• 5.3.2 差分隐私保护之下的最优LQG控制器设计105-107
• 5.4 仿真验证与系统性能分析107-109
• 5.5 本章小结109-111
• 第六章 总结与展望111-117
• 本章摘要111
• 6.1 全文总结111-113
• 6.2 研究展望113-117
• 参考文献117-129
• 攻读博士学位期间主要研究成果及参与的科研项目129-13

【相似文献】

中国期刊全文数据库 前10条

1 李钊;彭勇;谢丰;高洋;陈冬青;徐国爱;;信息物理系统安全威胁与措施[J];清华大学学报(自然科学版);2012年10期

2 程普;常强;;信息物理系统[J];数字技术与应用;2011年08期

3 邢静宇;张立臣;;信息物理系统安全及相关措施[J];计算机系统应用;2014年06期

4 王小乐;黄宏斌;邓苏;陈丽娜;;信息物理系统资源能力建模[J];计算机科学;2012年02期

5 陈悦;罗俊海;;信息物理系统基于空间相关性的数据传输[J];计算机应用研究;2012年04期

6 蒋国平;樊春霞;宋玉蓉;邵斐;;复杂动态网络同步控制及其在信息物理系统中的应用[J];南京邮电大学学报(自然科学版);2010年04期

7 邢静宇;张立臣;;基于能量控制与资源调度的信息物理系统建模[J];计算机技术与发展;2014年07期

8 王乐;黄泰山;;信息物理系统在航空领域中的应用[J];航空计算技术;2013年02期

9 ;《2014NI趋势展望》重点关注技术突破[J];电子测量技术;2014年02期

10 ;《2014NI趋势展望》重点关注技术突破 NI研究最新趋势以帮助不同行业工程师优化各自领域的应用[J];国外电子测量技术;2014年02期

中国重要会议论文全文数据库 前1条

1 金宏;余跃;吴正午;孙正杰;;面向远程精确打击服务的信息物理系统[A];2014第二届中国指挥控制大会论文集（上）[C];2014年

中国重要报纸全文数据库 前1条

1 本报记者 马文方　编译;航空：信息物理系统应用的桥头堡[N];中国计算机报;2010年

中国博士学位论文全文数据库 前1条

1 张恒;信息物理系统安全理论研究[D];浙江大学;2015年

中国硕士学位论文全文数据库 前10条

1 高瑞霞;面向信息物理系统的IEEE802.15.4MAC协议分析及优化[D];大连理工大学;2011年

2 芦东泽;信息物理系统的安全访问控制机制[D];大连理工大学;2010年

3 刘景力;信息物理系统风险评估分析与设计[D];北京邮电大学;2013年

4 张亚杰;交通信息物理系统车载节点通信技术研究[D];重庆理工大学;2014年

5 邵珠成;信息物理系统时空逻辑研究[D];华东师范大学;2013年

6 曾雅芸;基于CAN的信息物理系统的形式化验证方法研究[D];南京邮电大学;2014年

7 王林强;面向信息物理系统的自适应实时可靠无线MAC协议[D];大连理工大学;2013年

8 刘辉;实时信息物理系统的实时性分析与验证[D];广东工业大学;2012年

9 蔡热文;基于面向方面的时间Petri网的实时信息物理系统的建模[D];广东工业大学;2012年

10 王国栋;信息物理系统的行为自寻优方法研究[D];南京信息工程大学;2014年

，

本文编号：712884