Constraint Abstraction in Verification of Security Protocols.

Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen

Browse the full FAW paper archive.