The top documents tagged [protocol logics uban]

Logics for Security Protocols Anupam Datta Fall 2007-08 18739A: Foundations of Security and Privacy.

---

214 views