Skip to main content
UL Logo | Home
  • Follow Us
    • Follow University of Limerick on Facebook
    • Follow University of Limerick on X/Twitter
    • Follow University of Limerick on Instagram
    • Follow University of Limerick on LinkedIn
    • Follow University of Limerick on YouTube
    • Follow University of Limerick on TikTok

Global Navigation

  • Library
  • Student Gateway
  • Staff Gateway
  • A-Z Directory
  • Campus Phone Directory
  • Contact UL

Group Main Menu

  • Home
  • About
    • Quality
    • Research integrity
    • Policies and procedures
    • Research strategy
    • Research ethics
    • Researcher journey
    • Research dashboard
    • Scholars at risk
  • Enterprise and innovation
    • Nexus Innovation Centre
    • Enterprise partnerships
    • Technology Transfer Office
    • Facilities and equipment
    • Licensing opportunities
  • Institutes and centres
    • Bernal Institute
    • Health Research Institute
  • Expertise
    • Researcher Profiles
    • Find an expert
  • Research Impact
    • Research Week
    • President’s Research Excellence and Impact Awards
    • Case studies
    • Podcasts
  • Doctoral College
  • Contact us

Formal Verification of Security Protocols

Breadcrumbs

  1. UL Home
  2. Research
  3. Publications
Author
Dr. Thomas Newe
Authors
Newe T
Year of Publication
2000
Have a Question? Contact us! Request a copy of our Prospectus

University of Limerick
Limerick
V94 T9PX
Ireland

Tel: +353 61 202700

Registered Charity Number CHY20009274

About UL

  • Study at UL
  • Faculties and Departments
  • UL Campus
  • A-Z Directory
  • Join the team at UL
  • Contact Us

Useful Links

  • Academic calendar
  • Student email
  • Student gateway
  • Staff email
  • Staff gateway

Website

  • Disclaimer
  • Cookie Statement
  • Privacy Notices
  • Accessibility statement
University of Limerick home
Co-funded by the Irish Government and the E.U. Top 500 in the World University affiliations Athena Swan Info
Follow Us
  • Follow University of Limerick on Facebook
  • Follow University of Limerick on X/Twitter
  • Follow University of Limerick on Instagram
  • Follow University of Limerick on LinkedIn
  • Follow University of Limerick on YouTube
  • Follow University of Limerick on TikTok

© University of Limerick