系统安全

在软件和系统安全主题中，来自该小组的学者和研究人员正在调查各个方面关于工业系统的安全。该小组的研究工作有三个主要驱动因素：实际应用新的安全技术（如可信计算）；探索和解决新兴计算的安全需求环境（分布式医疗保健研究和交付是主要兴趣）；以及新方法的研究以及用于改进安全性设计过程和安全系统可用性的工具。由于集团的活动在这一领域，与主要工业合作伙伴（如IBM、惠普和QinetiQ）建立了非常紧密的联系；该集团的一些产出也有很强的商业应用兴趣。此外，该集团还提高了过去三年，该领域的工作花费超过200万英镑（就项目和学生奖学金而言）。该集团的优势在安全领域，领导软件工程计划设立了软件和系统安全的兼职理学硕士以补充其在软件工程和对象技术领域的产品。

选定出版物

查看全部

• 探索Intel SGX在安全多方应用程序中的使用

  K.A.KüçüK­A.Paverd­A.Martin N.Asokan­A.Simpson和R.Ankele

  在可信执行系统软件第一次研讨会会议记录（SysTEX’16）.美国纽约州纽约市。2016ACM公司。

  可信第三方（TTP）的理论结构有可能解决许多安全问题以及隐私挑战。特别是，TTP是实现安全多方计算的理想方式，可增强隐私相互不信任的参与者共同计算其私人输入的函数而不泄露信息的技术这些输入。尽管有实现这一点的加密协议，但其性能通常限制在两党案件或少数参与者。然而，许多实际应用程序涉及数千或数万名参与者。这种多方应用程序的示例包括隐私保护能源计量、基于位置的服务和移动网络漫游。质疑可信赖TTP不存在，最近的研究表明如何使用可信硬件和远程认证来建立在真实系统中有足够的保证级别，使其可以作为可信的远程实体（TRE）。我们探索使用Intel SGX“最新且可以说是最有前途的可信硬件技术”作为基础多方应用的TRE。将保护隐私的能源计量作为我们设计的案例研究并使用SGX实现原型TRE，并将其性能与基于可信平台的先前系统进行比较模块（TPM）。我们的结果表明，即使没有专门的优化，SGX也能提供与优化的TPM系统，因此对于大规模多方应用具有巨大潜力。

  细节关于探索英特尔的使用用于安全多方应用程序的SGX |BibTeX公司的数据探索Intel SGX在保护多方应用程序 |内政部（10.1145/3007788.3007793）|链接到探索用途Intel SGX的安全多方应用程序

• 智能电网需求响应系统中的安全和隐私

  Andrew J Paverd、Andrew P Martin和Ian Brown

  编辑Jorge Cuellar，智能电网安全.第1-15页。施普林格国际出版公司。2014

  细节关于智能中的安全和隐私电网需求响应系统 |BibTeX公司的数据智能电网中的安全和隐私需求响应系统 |下载（pdf格式）属于智能电网需求响应系统中的安全和隐私 |内政部（10.1007/978-3-319-10329-7_1）|链接到安全智能电网需求响应系统中的隐私

• 使用可信计算在智能电网中增强隐私双向通信

  Andrew J Paverd、Andrew P Martin和Ian Brown

  在第五届IEEE智能电网通信国际会议（SmartGridComm 2014）.2014

  细节关于隐私增强双向使用可信计算在智能电网中进行通信 |BibTeX公司的数据隐私增强双向使用可信计算在智能电网中进行通信 |下载铺路机-SmartGridComm-2014.pdf属于智能电网中使用的隐私增强双向通信可信计算 |下载Paverd-SmartGridComm-2014-幻灯片.pdf属于智能电网中使用的隐私增强双向通信可信计算 |内政部（10.1109/SmartGridComm.2014.7007758）|链接到使用可信计算在智能电网中增强隐私双向通信