ICE-TCS lectures series - Willard Thor Rafnsson - Secrecy in Mobile Ad-hoc

On Friday, January 16th, Willard Thor Rafnsson (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Secrecy in Mobile Ad-hoc Networks and will be held at 2pm in room K-5 at Reykjavik University (Kringlan 1).

ABSTRACT

We propose a framework for automated verification of secrecy  properties of MANET protocols, consisting of a formal language and a  proven sound verification technique which can be automated. We start  off by presenting the distributed applied pi calculus with broadcast  (DAPiB), whereafter we summarise our procedure for generating Horn  clauses from a DAPiB model expressing control flow in the model. We  then present our soundness result, from which it follows that the  generated Horn clauses can be used to reason about secrecy in the  source model, in an automated manner.