About this scholarly article

MILCOM 2009 - 2009 IEEE Military Communications Conference - Using deductive knowledge to improve cryptographic protocol verification by Zhiwei Li, ; Weichao Wang, is a scholarly article available to read on EtoBox.

Author

Zhiwei Li, ; Weichao Wang,

Publisher

IEEE

Published

2009

Language

EN