Knowledge Based Approach for Mechanically Verifying Security Protocols.

Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle

Browse the full IJCAI paper archive.