An epistemic calculus for spatially distributed systems with potential applications to social networks
Sophia Knight, LIX Polytechnique, Paris
Date and Time
Tuesday, May 21st, 2013 at 15:15.
Polacksbacken, room 4306
Information protection in distributed settings is a crucial research area. With the increasing prevalence of the internet and its involvement in every aspect of people's lives, distributed systems are becoming ubiquitous, for example, social networks and cloud computing. I will present a spatial and epistemic process calculus for reasoning about spatial information and knowledge distributed among the agents of such a system. My process calculus is based on the concurrent constraint programming paradigm, with modalities as combinators in the calculus. This makes it possible to view multi-agent epistemic logic as a programming language: one particularly adapted to security and privacy concerns.