Theory of Deductive Systems for Protocol Verification.

Xiaobo Li, Richard Lai, Tharam S. Dillon

Browse the full ICCI paper archive.