Verification of Trusted Network Access Protocols in the Strand Space Model

Yuelei Xiao, YuMin Wang, Liaojun Pang. Verification of Trusted Network Access Protocols in the Strand Space Model. IEICE Transactions, 95-A(3):665-668, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.