Proceedings

Rachel McCrindle

1 paper in the IJCAI proceedings

IJCAI 2005

Knowledge Based Approach for Mechanically Verifying Security Protocols
with Xiaoqi Ma, Xiaochun Cheng
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards