Verification of Secure Network Protocols in Uncertain Environments. - Sarah Damiani; Christopher Griffin 001; Shashi Phoha; Stephen A. Racunas; Christopher Rogan (Int. J. Wirel. Inf. Networks, 2006)