On the Decision Problem of a Class of Automata Used for Security Verification of Network Protocols.

Qingxia Long, Yong He, Zhenhe Cui

Browse the full SecureComm paper archive.