Skip to main content
×
Search form
Home
About
Quality
Research Integrity
Policies & Procedures
Research & Innovation Strategy
Enterprise & Innovation
Nexus Innovation Centre
Enterprise Partnerships
Technology Transfer Office
Facilities & Equipment
Licencing Opportunities
Institutes & Centres
Bernal Institute
Health Research Institute
A-Z Research Centres
Expertise
Researcher Profiles
Find An Expert
Research Impact
President’s Research Excellence and Impact Awards
Contact
Covid-19
Student Gateway
Staff Gateway
A-Z Directory
Campus Phone Directory
Contact UL
Student Gateway
Staff Gateway
A-Z Directory
Campus Phone Directory
Contact UL
EN
GA
Follow us
Home
About
Quality
Research Integrity
Policies & Procedures
Research & Innovation Strategy
Enterprise & Innovation
Nexus Innovation Centre
Enterprise Partnerships
Technology Transfer Office
Facilities & Equipment
Licencing Opportunities
Institutes & Centres
Bernal Institute
Health Research Institute
A-Z Research Centres
Expertise
Researcher Profiles
Find An Expert
Research Impact
President’s Research Excellence and Impact Awards
Contact
Covid-19
EN
GA
Publication
Home
|
On the logical verification of key exchange protocols for mobile communications
On the logical verification of key exchange protocols for mobile communications
Newe T., Coffey T.
Recent Advances In Communications And Computer Science
(2003)
