Author: Lee J.Y. Lee J.-H. Kim H. Kim H.-S.
Publisher: Elsevier
ISSN: 0010-4485
Source: Computer-Aided Design, Vol.36, Iss.3, 2004-03, pp. : 217-229
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Models for an Adversary-Centric Protocol Logic
By Selinger P.
Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 1, 2004-01 ,pp. :