Tracking Information Flow by Mapping Broadcast Encryption Subgroups to Security Lattices - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2022

Tracking Information Flow by Mapping Broadcast Encryption Subgroups to Security Lattices

Abstract

In this paper we consider scenarios in which a server broadcasts messages with different confidentiality levels to nodes subgroups holding the appropriate clearance. We build on IND-CPA broadcast encryption schemes to preserve the message's confidentiality over a network. Our proposal is that, to verify that information in the server flows to nodes with the appropriate clearances (e.g. verify the use of the correct encryption keys), we can map broadcast subgroups of nodes to levels in information flow security lattices. We implement this idea via a type system and provide a soundness proof with respect to a formally defined secure information flow property for server code.
Fichier principal
Vignette du fichier
ifip.pdf (198.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03537962 , version 1 (20-01-2022)

Identifiers

  • HAL Id : hal-03537962 , version 1

Cite

Mohamad El Laz, Alejandro Hevia, Tamara Rezk. Tracking Information Flow by Mapping Broadcast Encryption Subgroups to Security Lattices. [Research Report] Inria. 2022. ⟨hal-03537962⟩
66 View
92 Download

Share

Gmail Mastodon Facebook X LinkedIn More