Security and Privacy in Smart Grid Systems: Countermeasure and Formal Verification

智能电网系统中的安全和隐私:对策和形式验证

基本信息

  • 批准号:
    EP/N020170/1
  • 负责人:
  • 金额:
    $ 25.86万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2016
  • 资助国家:
    英国
  • 起止时间:
    2016 至 无数据
  • 项目状态:
    已结题

项目摘要

In many distributed computing contexts, a need arises for two mutually-distrusting parties to undertake a joint calculation, often without the disclosure of the unprocessed data from one or both sides to the other. Sometimes a 'trusted third party' is used for this purpose - but immediately the verification of the trustworthiness of that party becomes a challenge. The cryptographic world has addressed this through the paradigm of secure multi-party computation - and the related problem of an untrusted processor through various schemes of homomorphic encryption. These are successful in many contexts, but imply certain overheads and complexities. We propose a different model, wherein the technologies of Trusted Computing are used to create an assured Trustworthy Remote Entity (TRE): this also enables us to develop duplex communications, which are seldom considered in the approaches described above. The main part of this project is devoted to developing and verifying a TRE-based solution for the substantial and far-reaching challenges of security and privacy in smart power grids: later in the project we consider the generalization of the approach to other similar problems, such as those in dynamic location-based road pricing. The 'big idea' is that the user can be signed up with a TRE, and have a high degree of confidence that their data (e.g. the information on how much electricity is being used right now) is not going to get in to the hands of someone who might use it against them (e.g. to work out when the home is unoccupied) - but the power company can also have from their side confidence that the data they receive is coming from one of their customers. If they need to reduce demand - in the extreme case by, say, remotely switching off somone's air conditioning unit fora time - they can send a signal back, confident that it will go to the right user, without knowing which customer that is.This approach can be generalised to many other situations: for example, the TRE could help to calculate a price for you to drive on a particular road at a particular time, without disclosing your movements to the transport authority. It could also pass back personalized (but anonymous) instructions on how to find a better route at the time.
在许多分布式计算环境中,需要两个相互不信任的方进行联合计算,通常不会从一方或双方向另一方公开未处理的数据。有时候,“可信第三方”被用于此目的-但立即验证该方的可信度成为一个挑战。密码学世界已经通过安全多方计算的范例解决了这个问题,并通过各种同态加密方案解决了不可信处理器的相关问题。这些在许多情况下是成功的,但意味着一定的管理费用和复杂性。我们提出了一个不同的模型,其中可信计算技术用于创建有保证的可信远程实体(TRE):这还使我们能够开发双工通信,这在上述方法中很少考虑。该项目的主要部分是致力于开发和验证一个基于TRE的解决方案,以应对智能电网中安全和隐私方面的重大而深远的挑战:在该项目的后期,我们考虑将该方法推广到其他类似问题,例如基于动态位置的道路定价。“大想法”是用户可以注册TRE,并且对他们的数据有很高的信心(例如,关于目前用电量的信息)不会落入可能利用它来对付他们的人手中。(例如,计算出房屋何时无人居住)-但是电力公司也可以从他们的角度确信他们接收的数据来自他们的客户之一。如果他们需要减少需求--在极端的情况下,比如远程关闭某人的空调一段时间--他们可以发送一个信号回来,确信它会到达正确的用户,而不知道是哪个客户。这种方法可以推广到许多其他情况:例如,TRE可以帮助计算你在特定时间在特定道路上驾驶的价格,而无需向运输当局透露你的动向。它还可以传递回个性化(但匿名)的指示,说明如何找到一个更好的路线。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Efficient and Provably Secure Key Agreement for Modern Smart Metering Communications
  • DOI:
    10.3390/en11102662
  • 发表时间:
    2018-10-01
  • 期刊:
  • 影响因子:
    3.2
  • 作者:
    Braeken, An;Kumar, Pardeep;Martin, Andrew
  • 通讯作者:
    Martin, Andrew
Secure and Privacy-Preserving RFID Authentication Scheme for Internet of Things Applications
  • DOI:
    10.1007/s11277-019-06731-1
  • 发表时间:
    2020-01-01
  • 期刊:
  • 影响因子:
    2.2
  • 作者:
    Das, Manik Lal;Kumar, Pardeep;Martin, Andrew
  • 通讯作者:
    Martin, Andrew
DOCS: A Data Ownership Confirmation Scheme for Distributed Data Trading
DOCS:分布式数据交易的数据所有权确认方案
  • DOI:
    10.3390/systems10060226
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    1.9
  • 作者:
    Liu Y
  • 通讯作者:
    Liu Y
A three-valued model abstraction framework for PCTL* stochastic model checking
  • DOI:
    10.1007/s10515-022-00327-z
  • 发表时间:
    2022-03
  • 期刊:
  • 影响因子:
    3.4
  • 作者:
    Yang Liu;Yan Ma;Yongsheng Yang
  • 通讯作者:
    Yang Liu;Yan Ma;Yongsheng Yang
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues
{{ 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 }}

Andrew Martin其他文献

Japanese mothers undo function word reduction when talking to infants
日本母亲在与婴儿交谈时取消功能词缩减
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Andrew Martin;Keiichi Tajima;and Reiko Mazuka
  • 通讯作者:
    and Reiko Mazuka
What are they achieving through the conversation - modeling guide-tourist dialogues by extended grounding networks
他们通过对话实现了什么 - 通过扩展的接地网络对导游与游客的对话进行建模
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Keiichi Tajima;Kuniyoshi Tanaka;Andrew Martin;Reiko Mazuka;水上悦雄・柏岡秀紀;Etsuo Mizukami and Hideki Kashioka
  • 通讯作者:
    Etsuo Mizukami and Hideki Kashioka
宝永元年空年上人筆録アイヌ語彙狄言葉の仮名・音素対応表
宝永1年书写的阿伊努语词汇和单词的假名/音素对应表。
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Keiichi Tajima;Kuniyoshi Tanaka;Andrew Martin;Reiko Mazuka;水上悦雄・柏岡秀紀;Etsuo Mizukami and Hideki Kashioka;佐藤知己;Sato Tomomi;佐藤知己;佐藤知己
  • 通讯作者:
    佐藤知己
アイヌ語の現状と復興
阿伊努语的现状与恢复
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Keiichi Tajima;Kuniyoshi Tanaka;Andrew Martin;Reiko Mazuka;水上悦雄・柏岡秀紀;Etsuo Mizukami and Hideki Kashioka;佐藤知己;Sato Tomomi;佐藤知己;佐藤知己;佐藤知己;佐藤知己;佐藤知己;佐藤知己
  • 通讯作者:
    佐藤知己
アイヌ語の抱合における残置(stranding)回避手段としての充当態(applicative)
作为避免阿伊努语变位搁浅的一种手段
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Keiichi Tajima;Kuniyoshi Tanaka;Andrew Martin;Reiko Mazuka;水上悦雄・柏岡秀紀;Etsuo Mizukami and Hideki Kashioka;佐藤知己;Sato Tomomi;佐藤知己;佐藤知己;佐藤知己;佐藤知己;佐藤知己;佐藤知己;Sato Tomomi;佐藤知己;佐藤知己;佐藤知己;佐藤知己
  • 通讯作者:
    佐藤知己

Andrew Martin的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Andrew Martin', 18)}}的其他基金

Academic Centre of Excellence in Cyber Security Research - University of Oxford
网络安全研究卓越学术中心 - 牛津大学
  • 批准号:
    EP/R006784/1
  • 财政年份:
    2017
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Research Grant
Commercializing Abysis - an integrated resource for storing and analyzing antibody sequence and structure
商业化 Abysis - 用于存储和分析抗体序列和结构的综合资源
  • 批准号:
    BB/K015443/1
  • 财政年份:
    2013
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Research Grant
Academic Centre of Excellence in Cyber Security Research -University of Oxford
网络安全研究卓越学术中心 - 牛津大学
  • 批准号:
    EP/K004778/1
  • 财政年份:
    2012
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Research Grant
Trust Domains - A framework for modelling and designing e-service infrastructures for controlled sharing of information
信任域 - 用于建模和设计电子服务基础设施以实现受控信息共享的框架
  • 批准号:
    TS/I002634/1
  • 财政年份:
    2011
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Research Grant
Doctoral Dissertation Research: Discrete Time-Series Cross-Section Models of Political Economy
博士论文研究:政治经济学的离散时间序列横截面模型
  • 批准号:
    0918320
  • 财政年份:
    2009
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Collaborative Research: A Cross-National Study of Judicial Institutionalization and Influence
合作研究:司法制度化和影响力的跨国研究
  • 批准号:
    0751670
  • 财政年份:
    2008
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Enhancements to ProFit
增强利润
  • 批准号:
    BB/F015836/1
  • 财政年份:
    2008
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Research Grant
Doctoral Dissertation Research: Placing Federal District Courts in the Judicial Hierarchy
博士论文研究:将联邦地方法院纳入司法体系
  • 批准号:
    0818751
  • 财政年份:
    2008
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
DISSERTATION RESEARCH: Islands on Islands on Islands: Bacterial Metacommunity Evolution in a Prairie Dog Landscape
论文研究:岛屿上的岛屿:草原土拨鼠景观中的细菌元群落进化
  • 批准号:
    0808560
  • 财政年份:
    2008
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Collaborative Research: The Function and Evolution of the Hammerhead Shark Cephalofoil
合作研究:锤头鲨头叶的功能和进化
  • 批准号:
    0640200
  • 财政年份:
    2007
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant

相似海外基金

Secure, Privacy-aware, and Trusted Data Share in Smart Mobility
智能移动中的安全、隐私意识和可信数据共享
  • 批准号:
    EP/Y002946/1
  • 财政年份:
    2024
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Research Grant
I-Corps: Privacy-Responsive Artificial Intelligence-Based Solution for Smart Video Surveillance
I-Corps:基于隐私敏感的人工智能的智能视频监控解决方案
  • 批准号:
    2323757
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Supporting Privacy Negotiation Among Multiple Stakeholders in Smart Environments
协作研究:SaTC:核心:小型:支持智能环境中多个利益相关者之间的隐私谈判
  • 批准号:
    2232656
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
CPS: Medium: Connected Federated Farms: Privacy-Preserving Cyber Infrastructure for Collaborative Smart Farming
CPS:中:互联联合农场:用于协作智能农业的隐私保护网络基础设施
  • 批准号:
    2212878
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Supporting Privacy Negotiation Among Multiple Stakeholders in Smart Environments
协作研究:SaTC:核心:小型:支持智能环境中多个利益相关者之间的隐私谈判
  • 批准号:
    2232654
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Supporting Privacy Negotiation Among Multiple Stakeholders in Smart Environments
协作研究:SaTC:核心:小型:支持智能环境中多个利益相关者之间的隐私谈判
  • 批准号:
    2232655
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Supporting Privacy Negotiation Among Multiple Stakeholders in Smart Environments
协作研究:SaTC:核心:小型:支持智能环境中多个利益相关者之间的隐私谈判
  • 批准号:
    2232653
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
CAREER: Safeguarding Smart Homes: A Foundation for Building User Privacy-Enhancing IoT Systems
职业:保护智能家居:构建增强用户隐私的物联网系统的基础
  • 批准号:
    2238701
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Small: Supporting Privacy Negotiation Among Multiple Stakeholders in Smart Environments
协作研究:SaTC:核心:小型:支持智能环境中多个利益相关者之间的隐私谈判
  • 批准号:
    2341187
  • 财政年份:
    2023
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Standard Grant
Privacy Preservation over 5G and IoT Smart Devices
5G 和物联网智能设备的隐私保护
  • 批准号:
    DP220101360
  • 财政年份:
    2022
  • 资助金额:
    $ 25.86万
  • 项目类别:
    Discovery Projects
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了