Logic-Based Analysis of a New Hybrid Encryption Protocol for Authentication and Key Distribution
Reference Type:
Conference Paper
External Authors:
M.T.; Hegazi, N.H.; Aslan, H.K
Conference Location:
Vienna (Austria)/Budapest (Hungary),
Date:
August 31 - September 4, 1998