## Alpha-Beta PrivacyAdd to your list(s) Download to your calendar using vCal - Luca Vigano (KCL)
- Thursday 01 December 2016, 11:00-12:00
- Sloman Lounge, School of Computer Science.
If you have a question about this talk, please contact Andreea Radu. Formally specifying privacy goals is not trivial. The most widely used approach in formal methods is based on the static equivalence of frames in the applied pi-calculus, basically asking whether or not the intruder is able to distinguish two given worlds. A subtle question is how we can be sure that we have specified all pairs of worlds to properly reflect our intuitive privacy goal. To address this problem, we introduce a novel and declarative way to specify privacy goals, called “alpha-beta privacy”, and relate it to static equivalence. This new approach is based on specifying two formulae alpha and beta in first-order logic with Herbrand universes, where alpha reflects the intentionally released information and beta includes the actual cryptographic (“technical”) messages the intruder can see. Then alpha-beta privacy means that the intruder cannot derive any “non-technical” statement from beta that he cannot derive from alpha already. We describe by a variety of examples how this notion can be used in practice. Even though alpha-beta privacy does not directly contain a notion of distinguishing between worlds, there is a close relationship to static equivalence of frames that we investigate formally. This allows us to justify (and criticize) the specifications that are currently used in verification tools, and obtain partial tool support for alpha-beta privacy. Joint work with Sebastian Moedersheim and Thomas Gross. This talk is part of the Computer Security Seminars series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Security Seminars
- Sloman Lounge, School of Computer Science
- computer sience
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Topology and Dynamics seminar Type the title of a new list here## Other talksNonlinear Ghost Imaging For waveform control, Imaging and Communications Towards the next generation of hazardous weather prediction: observation uncertainty and data assimilation Time crystals, time quasicrystals, and time crystal dynamics Plasmonic and photothermal properties of TiN nanomaterials The Holographic Universe Bases for permutation groups |