Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Browse the full FSCD paper archive.