首页> 美国政府科技报告 >Improving the Cybersecurity of Cyber-Physical Systems Through Behavioral Game Theory and Model Checking in Practice and in Education.

【24h】

Improving the Cybersecurity of Cyber-Physical Systems Through Behavioral Game Theory and Model Checking in Practice and in Education.

机译：通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。

获取原文

页面导航

著录项
相似文献
相关主题

著录项

作者
Hamman, S. T.;
展开▼
作者单位

展开▼
年度 2016
页码 1-117
总页数 117
原文格式 PDF
正文语种 eng
中图分类
关键词
入库时间 2022-08-29 10:46:19

相似文献

外文文献
中文文献
专利

1. Modeling cyber-physical human systems via an interplay between reinforcement learning and game theory [J] . Albaba Berat Mert, Yildiz Yildiray Annual Review in Control . 2019,第期

机译：通过增强学习与博弈论之间的相互作用来建立网络物理人体系统
2. Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) [J] . Marta Z. Kwiatkowska LIPIcs : Leibniz International Proceedings in Informatics . 2016,第2期

机译：随机游戏的模型检验和策略综合：从理论到实践（特邀演讲）
3. An approach based on behavioral models and critical states distance notion for improving cybersecurity of industrial control systems [J] . Sicard Franck, Zamai Eric, Flaus Jean-Marie Reliability Engineering & System Safety . 2019,第AUGa期

机译：一种基于行为模型和临界状态距离概念的方法，用于改善工业控制系统的网络安全
4. HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems [C] . Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, IEEE Security and Privacy Workshops . 2021

机译：HIOA-CPS：结合混合输入 - 输出自动机和博弈论的网络物理系统安全建模
5. Improving the cybersecurity of cyber-physical systems through behavioral game theory and model checking in practice and in education. [D] . Hamman, Seth T. 2016

机译：通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
6. Guided by Theory Informed by Practice: Training and Support for the Good Behavior Game a Classroom-based Behavior Management Strategy [O] . Jeanne M. Poduska, Anja Kurki -1

机译：理论指导实践指导：良好行为游戏的培训和支持一种基于课堂的行为管理策略
7. Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior [O] . Bu L, Wang Q, Chen X, 2011

机译：走向在线混合系统对网络物理系统的限时短期行为进行模型检查

Improving the Cybersecurity of Cyber-Physical Systems Through Behavioral Game Theory and Model Checking in Practice and in Education.

著录项

相似文献

相关主题

期刊订阅