Verification of Secure Network Protocols in Uncertain Environments

Author： Damiani Sarah Griffin Christopher Phoha Shashi Racunas Stephan Rogan Christopher

ISSN： 1068-9605

Source： International Journal of Wireless Information Networks, Vol.13, Iss.3, 2006-07, pp. : 221-228

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On automating the verification of secure ad-hoc network routing protocols

By Thong Ta Buttyán Levente

Telecommunication Systems, Vol. 52, Iss. 4, 2013-04 ,pp. : 2611-2635

Springer Publishing Company

Access to resources Recommend Favorite

Toward a secure batch verification with group testing for VANET

By Lee Cheng-Chi

Wireless Networks, Vol. 19, Iss. 6, 2013-08 ,pp. : 1441-1449

Springer Publishing Company

Access to resources Recommend Favorite

Vulnerability analysis of lightweight secure search protocols for low-cost RFID systems

By Lv Chao

International Journal of Radio Frequency Identification Technology and Applicat, Vol. 4, Iss. 1, 2012-01 ,pp. : 3-12

Inderscience Publishers

Access to resources Recommend Favorite

Key Management Protocols for Secure Wireless Multimedia Services: A Review

Recent Patents on Telecommunication, Vol. 1, Iss. 1, 2012-07 ,pp. : 41-53

Bentham Science Publishers

Access to resources Recommend Favorite

Building Secure Tunnel from PPP Wireless Network

By Xu M. Radcliffe P.

Wireless Personal Communications, Vol. 58, Iss. 2, 2011-05 ,pp. : 337-353

Springer Publishing Company

Access to resources Recommend Favorite