Extending BAN Logic for Reasoning with Modern PKI-Based Protocols.

Sufatrio, Roland H. C. Yap

Browse the full NPC paper archive.