Bounded memory Dolev-Yao adversaries in collaborative systems

Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov. Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput., 238:233-261, 2014. [doi]

Abstract

Abstract is missing.