Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
McGill INRIA Workshop

McGill INRIA Workshop

6th June to 7th June 2006

This is the first meeting of a joint project called PRINTEMPS , which is a collaborative project between the Com\`ete \'equipe headed by Catuscia Palamidessi of INRIA Futurs located at the Ecole Polytechnique Palaiseau and Prakash Panangaden of the School of Computer Science of McGill University.

Project Outline

The increasing diffusion of electronic services is accompanied by an increasing concern for the protection of private information. The design of protocols to ensure properties like anonymity, privacy, and secrecy, is therefore a very active topic of research, as well as the study of the formal aspects of such properties and the development of proper tools for ensuring the correctness of these protocols. However, despite the fact that much research has been done already, almost all the existing theories and verification techniques are along the lines of the so-called possibilistic approach, which is based on the principle of representing as nondeterministic the random mechanisms used in most of this class of protocols. The nondeterministic approximation however makes it impossible to capture the leakage of probabilistic information and prevent possible attacks based, for instance, on statistical analysis. For this reason, we feel that the theoretical foundations of anonymity and secrecy protection should take probability into account. In this cooperation, we aim at establishing a formal framework for expressing and reasoning about information-hiding properties, for helping the design of adequate protocols, and for verifying them. Our approach will be based on Information Theory. We believe that the body of concepts and results related to the notion of entropy, expressing the (lack of) information in a random variable, will provide a natural and solid framework for our goals.

Workshop Schedule

	Tuesday	Wednesday
10:00 - 11:00	Panangaden: Introduction, Epistemic Logic, Probability, Information	Sophia Knight: A probabilistic logic
11:00 - 11:30	Break	Break
11:30 - 12:30	Palamidessi: Probabilistic Anonymity	Doina Precup: Bayesian Networks
12:30 - 2:00	Lunch

2:00 - 3:00	Kostas Chatzikokolakis: Information and Anonymity	Peng Wu: Probabilistic Pi-calculus in Prism
3:00 - 3:30	Break	Break
3:30 - 4:30	Sardaouna Hamadou	Pradalier 3:30 - 4 and Beauxis 4:00- 4:30