Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/hal-03537962
Contributor : Mohamad El Laz Connect in order to contact the contributor
Submitted on : Thursday, January 20, 2022 - 4:52:52 PM
Last modification on : Saturday, June 25, 2022 - 11:55:55 PM
Long-term archiving on: : Thursday, April 21, 2022 - 7:28:47 PM

File

ifip.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03537962, version 1

Citation

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

Share

Metrics

Record views

40

Files downloads

35