Decidability of context-explicit security protocols.

Ramaswamy Ramanujam S. P. Suresh Decidability of context-explicit security protocols. 135-165 2005 13 Journal of Computer Security 1 db/journals/jcs/jcs13.html#RamanujamS05