Seve: Automatic tool for verification of security protocols - LUU ANH TUAN (2011)
Master's