Seol mar théacs é seo: On the formal analysis of telecommunication protocols /