Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.

Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li

Browse the full SEKE paper archive.