on 20-06-2014
20/06/2014, 14:00 ¡ª Room P4.35, Mathematics Building
Luca Vigan¨°, King's College London
Defining privacy is supposed to be easy
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 in this paper a novel and declarative way to specify privacy goals, called ¦Á-¦Â privacy, and relate it to static equivalence. This new approach is based on specifying two formulae ¦Á and ¦Â in first-order logic with Herbrand universes, where ¦Á reflects the intentionally released information and ¦Â includes the actual cryptographic ("technical") messages the intruder can see. Then ¦Á-¦Â privacy means that the intruder cannot derive any "non-technical" statement from ¦Â that he cannot derive from ¦Á already. We describe by a variety of examples how this notion can be used in practice. Even though ¦Á-¦Â 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 ¦Á-¦Â privacy. Joint work with Sebastian Moedersheim and Thomas Gross
More Information..
on 30-05-2014
Research in Applications of Optics and Photonics is continuously evolving with remarkable and exciting recent developments in a variety of fields, all over the world. After the success of the first edition in 2011, the AOP2014 will be held at Aveiro on May 26 to 30, 2014.
We are looking forward to welcome the optics and photonics community and our friends from all over the world, for an exciting and most pleasant week. Open to contributions in all topics of Optics and Photonics and application’ fields, with this conference we expect to set the state-of-the-art in the subject foreseeing the lines of development on next decade.
More Information..