A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.

Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh

Browse the full MFCS paper archive.