Scholarlink

GIS systems, like Google maps or ArcGIS, are an ubiquitous central application but are highly privacy critical. In many GIS systems, inputs from various and diverse sensors potentially expose private information. However, in particular, in the context of public safety, the sensor inputs are crucial to provide timely information for example for weather related warning systems. The notion of Differential Privacy (DP) has become an ad hoc standard, most notably adopted for the US census. Federated Learning (FL) facilitates machine learning for mobile distributed scenarios. This paper proposes a notion of DP for FL for infrastructures with actors and policies formalized in the Isabelle Insider and Infrastructure framework (IIIf). To illustrate this extension of the IIIf by FL and DP on a practical example, we apply the extended framework to a case study from GIS systems for extreme weather warning to control privacy.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Florian Kammüller,
  • Luca Piras,
  • Bob Fields,
  • Raja Nagarajan

摘要

GIS systems, like Google maps or ArcGIS, are an ubiquitous central application but are highly privacy critical. In many GIS systems, inputs from various and diverse sensors potentially expose private information. However, in particular, in the context of public safety, the sensor inputs are crucial to provide timely information for example for weather related warning systems. The notion of Differential Privacy (DP) has become an ad hoc standard, most notably adopted for the US census. Federated Learning (FL) facilitates machine learning for mobile distributed scenarios. This paper proposes a notion of DP for FL for infrastructures with actors and policies formalized in the Isabelle Insider and Infrastructure framework (IIIf). To illustrate this extension of the IIIf by FL and DP on a practical example, we apply the extended framework to a case study from GIS systems for extreme weather warning to control privacy.