ML Anthology

McCrindle, Rachel

1 publications

IJCAI 2005 Knowledge Based Approach for Mechanically Verifying Security Protocols Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle