Browsing by Author "Gelastou, Marina"

Now showing items 1-2 of 2

    • Conference Object  

      On the application of formal methods for specifying and verifying distributed protocols 

      Gelastou, Marina; Georgiou, Chryssis; Philippou, Anna (2008)
      In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...
    • Conference Object  

      The power of the defender 

      Gelastou, Marina; Mavronicolas, Marios; Lesta, Vicky Papadopoulou; Philippou, Anna; Spirakis, Paul G. (2006)
      We consider a security problem on a distributed network. We assume a network whose nodes are vulnerable to infection by threats (e.g. viruses), the attackers. A system security software, the defender, is available in the ...