Login / Signup

Extending Dolev-Yao with Assertions.

Ramaswamy RamanujamVaishnavi SundararajanS. P. Suresh
Published in: ICISS (2014)
Keyphrases
  • knowledge base