Formal automatic verification of security protocols.

Meihua Xiao, Jinyun Xue

Browse the full GRC paper archive.