Skip to main content

Site search

Follow Us

Global Navigation

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

Group Main Menu

Home
About
Enterprise and innovation
Institutes and centres
- Bernal Institute
- Health Research Institute
Expertise
- Researcher Profiles
- Find an expert
Research Impact
Doctoral College
Contact us

Formal verification logic for hybrid security protocols

Breadcrumbs

UL Home
Research
Publications

Author

Dr. Thomas Newe

Authors

Newe T.;Coffey T.

Year of Publication

2003

Journal

Computer Systems Science And Engineering

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

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