Formal Verification of the Coordinated Robust Authentication Protocol for Wireless Networks
doi 10.1109/trustcom.2013.239
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2013
Authors
Publisher
IEEE
Available in full text
July 1, 2013
IEEE