Modeling secrets Book Chapter

Alvim, MS, Chatzikokolakis, K, McIver, A et al. (2020). Modeling secrets . 17-23. 10.1007/978-3-319-96131-6_2

cited authors

  • Alvim, MS; Chatzikokolakis, K; McIver, A; Morgan, C; Palamidessi, C; Smith, G

abstract

  • We begin our detailed study of quantitative information flow by asking ourselves what a secret really is. There are many non-controversial examples, such as a user’s password, social security number, or current location — but what does it mean for us to treat them as secrets?

authors

publication date

  • January 1, 2020

Digital Object Identifier (DOI)

start page

  • 17

end page

  • 23