Games and Abstraction: The Science of Cyber Security
游戏和抽象:网络安全科学
基本信息
- 批准号:EP/K005790/1
- 负责人:
- 金额:$ 62.86万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2013
- 资助国家:英国
- 起止时间:2013 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This proposal addresses the challenge "How do we make better security decisions?". Specifically we propose to develop new approaches to decision support based on mathematical game theory. Our work will support professionals who are designing secure systems and also those charged with determining if systems have an appropriate level of security -- in particular, systems administrators. We will develop techniques to support human decision making and techniques which enable well-founded security design decisions to be made.We recognise that the emerging trend away from corporate IT systems towards a Bring-Your-Own-Device (BYOD) culture will bring new challenges and changes to the role of systems administrator. However, even in this brave new world, companies will continue to have core assets such as the network infrastructure and the corporate database which will need the same kind of protection. It is certainly to be expected that some of the attacks will now originate from inside the corporate firewall rather than from outside. Our team will include researchers from the Imperial College Business School who will help us to ensure that our models are properly reflecting these new threats.Whilst others have used game theoretic approaches to answer these questions, much of the previous work has been more or less ad hoc. As such the resulting security decisions may be based on unsound principles. In particular, it is common to use abstractions without giving much consideration to the relationship between properties of the abstract model and the real system. We will develop a new game theoretic framework which enables a precise analysis of these relationships and hence provides a more robust decision support tool.
该提案解决了“我们如何做出更好的安全决策?".具体来说,我们建议开发新的方法,决策支持的基础上数学博弈论。我们的工作将支持设计安全系统的专业人员,以及负责确定系统是否具有适当安全级别的人员,特别是系统管理员。我们将开发技术来支持人类的决策和技术,使有根据的安全设计的决策,以作出。我们认识到,新兴的趋势,从企业IT系统向自带设备(BYOD)文化将带来新的挑战和变化的系统管理员的角色。然而,即使在这个勇敢的新世界中,公司仍将继续拥有核心资产,如网络基础设施和企业数据库,这些资产将需要同样的保护。可以肯定的是,一些攻击现在将来自公司防火墙内部,而不是外部。我们的团队将包括来自帝国理工学院商学院的研究人员,他们将帮助我们确保我们的模型正确反映这些新的威胁。虽然其他人已经使用博弈论方法来回答这些问题,但以前的许多工作或多或少都是临时的。因此,由此产生的安全决策可能基于不健全的原则。特别是,通常使用抽象而不考虑抽象模型和真实的系统的属性之间的关系。我们将开发一个新的博弈论框架,使这些关系的精确分析,从而提供了一个更强大的决策支持工具。
项目成果
期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II
计算机安全 - ESORICS 2016 - 第 21 届欧洲计算机安全研究研讨会,希腊伊拉克利翁,2016 年 9 月 26-30 日,会议记录,第二部分
- DOI:10.1007/978-3-319-45741-3_10
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:Khouzani M
- 通讯作者:Khouzani M
Decision support approaches for cyber security investment
- DOI:10.1016/j.dss.2016.02.012
- 发表时间:2016-06-01
- 期刊:
- 影响因子:7.5
- 作者:Fielder, Andrew;Panaousis, Emmanouil;Smeraldi, Fabrizio
- 通讯作者:Smeraldi, Fabrizio
Decision and Game Theory for Security
安全决策与博弈论
- DOI:10.1007/978-3-319-12601-2_15
- 发表时间:2014
- 期刊:
- 影响因子:0
- 作者:Panaousis E
- 通讯作者:Panaousis E
Optimizing time allocation for network defence
优化网络防御时间分配
- DOI:10.1093/cybsec/tyv002
- 发表时间:2015
- 期刊:
- 影响因子:3.9
- 作者:Caulfield T
- 通讯作者:Caulfield T
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Chris Hankin其他文献
Program analysis tools
- DOI:
10.1007/s100090050014 - 发表时间:
1998-11-01 - 期刊:
- 影响因子:1.400
- 作者:
Chris Hankin - 通讯作者:
Chris Hankin
An operational semantics for Paragon: A design notation for parallel architectures
- DOI:
10.1007/bf03037642 - 发表时间:
1991-06-01 - 期刊:
- 影响因子:2.800
- 作者:
David Bolton;Chris Hankin;Paul Kelly - 通讯作者:
Paul Kelly
Lambda Calculi: A Guide
Lambda 演算:指南
- DOI:
10.1007/978-94-007-0485-5_1 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Chris Hankin - 通讯作者:
Chris Hankin
Chris Hankin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Chris Hankin', 18)}}的其他基金
Research Institute in Trustworthy Inter-connected Cyber-physical Systems (RITICS)
可信互联信息物理系统研究所 (RITICS)
- 批准号:
EP/R022844/1 - 财政年份:2018
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
Customized and Adaptive approach for Optimal Cybersecurity Investment
最佳网络安全投资的定制和自适应方法
- 批准号:
EP/R002983/1 - 财政年份:2017
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
RITICS: Trustworthy Industrial Control Systems
RITICS:值得信赖的工业控制系统
- 批准号:
EP/L021013/1 - 财政年份:2014
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
IDEAS Factory - Detecting Terrorist Activities: Making Sense
IDEAS Factory - 检测恐怖活动:有意义
- 批准号:
EP/H023135/1 - 财政年份:2010
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
Monochromated Transmission Electron Microscopy
单色透射电子显微镜
- 批准号:
EP/F05677X/1 - 财政年份:2009
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
Quantum Coherence: Joint Proposal for Optimising UK Research Capacity and Capability
量子相干性:优化英国研究能力和能力的联合提案
- 批准号:
EP/E036112/1 - 财政年份:2007
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
相似海外基金
CAREER: Precise Mathematical Modeling and Experimental Validation of Radiation Heat Transfer in Complex Porous Media Using Analytical Renewal Theory Abstraction-Regressions
职业:使用分析更新理论抽象回归对复杂多孔介质中的辐射传热进行精确的数学建模和实验验证
- 批准号:
2339032 - 财政年份:2024
- 资助金额:
$ 62.86万 - 项目类别:
Continuing Grant
Abstraction as Natural Process: Whitehead's Pluralistic Philosophy of Nature
作为自然过程的抽象:怀特海的多元自然哲学
- 批准号:
22KJ0670 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Grant-in-Aid for JSPS Fellows
The geometry of neural representations reflecting abstraction in humans
反映人类抽象的神经表征的几何形状
- 批准号:
10682315 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
SHF: Small: Circuit Support for Maintaining the Continuous-power Abstraction in Energy Harvesting Systems
SHF:小型:用于维持能量收集系统中的连续功率抽象的电路支持
- 批准号:
2240744 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Standard Grant
An Abstraction-based Technique for Safe Reinforcement Learning
一种基于抽象的安全强化学习技术
- 批准号:
EP/X015823/1 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Research Grant
Patterns of Trauma: Lebanese Women Artists and the Aesthetics of Abstraction in times of War
创伤模式:黎巴嫩女艺术家与战争时期的抽象美学
- 批准号:
2876423 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Studentship
CSR: Small: RUI: Octopus OS: A High-Performance Cloud OS with Accurate Resource Abstraction.
CSR:小型:RUI:Octopus OS:具有准确资源抽象的高性能云操作系统。
- 批准号:
2324923 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Standard Grant
CAREER: Rebuilding the Virtual Memory Abstraction Across Hardware and Operating Systems
职业:跨硬件和操作系统重建虚拟内存抽象
- 批准号:
2239311 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Continuing Grant
SHF: Small: Compositional Certified Concurrent Abstraction Layers
SHF:小型:组合认证的并发抽象层
- 批准号:
2313433 - 财政年份:2023
- 资助金额:
$ 62.86万 - 项目类别:
Standard Grant
Unsupervised Abstraction for Better Generalization in Artificial Agents
无监督抽象以更好地泛化人工代理
- 批准号:
547986-2020 - 财政年份:2022
- 资助金额:
$ 62.86万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral