Verification of Secure Network Protocols in Uncertain Environments

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

Publisher: Springer Publishing Company

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