Extending Dolev-Yao with Assertions.

Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh

Browse the full ICISS paper archive.