A Logic Programming Based Framework for Security Protocol Verification.

Shujing Wang, Yan Zhang

Browse the full ISMIS paper archive.