Keyword : Strand Space Model


Verification of Trusted Network Access Protocols in the Strand Space Model
Yuelei XIAO Yumin WANG Liaojun PANG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/03/01
Vol. E95-A  No. 3 ; pp. 665-668
Type of Manuscript:  LETTER
Category: Cryptography and Information Security
Keyword: 
trusted network accessStrand Space Modelinternal penetrator
 Summary | Full Text:PDF(146.6KB)