Reasoning about distributed secrets

Nicolás Bordenabe, Annabelle McIver*, Carroll Morgan, Tahiry Rabehaja

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Abstract

In 1977 Tore Dalenius described how partial disclosure about one secret can impact the confidentiality of other correlated secrets, and indeed this phenomenon is well-known in privacy of databases. The aim here is to study this issue in a context of programs with distributed secrets. Moreover, we do not assume that secrets never change, in fact we investigate what happens when they do: we explore how updates to some (but not all) secrets can affect confidentiality elsewhere in the system. We provide methods to compute robust upper bounds on the impact of such information leakages with respect to all distributed secrets. Finally we illustrate our results on a defence against side channels.

Original languageEnglish
Title of host publicationFormal techniques for distributed objects, components, and systems
Subtitle of host publication37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
EditorsAhmed Bouajjani, Alexandra Silva
Place of PublicationCham
PublisherSpringer, Springer Nature
Pages156-170
Number of pages15
ISBN (Electronic)9783319602257
ISBN (Print)9783319602240
DOIs
Publication statusPublished - 2017
Event37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 - Neuchatel, Switzerland
Duration: 19 Jun 201722 Jun 2017

Publication series

NameLecture Notes in Computer Science
Volume10321
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017
CountrySwitzerland
CityNeuchatel
Period19/06/1722/06/17

Keywords

  • Foundations of security
  • Program semantics
  • Quantitative information flow
  • Secure refinement

Fingerprint Dive into the research topics of 'Reasoning about distributed secrets'. Together they form a unique fingerprint.

  • Cite this

    Bordenabe, N., McIver, A., Morgan, C., & Rabehaja, T. (2017). Reasoning about distributed secrets. In A. Bouajjani, & A. Silva (Eds.), Formal techniques for distributed objects, components, and systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings (pp. 156-170). (Lecture Notes in Computer Science; Vol. 10321). Cham: Springer, Springer Nature. https://doi.org/10.1007/978-3-319-60225-7_11