* Seminar Notes on Oct. 23 & 39
* Papers related to the verification of the protocol are as follows:
 Kazuhiro Ogata and Kokichi Futatsugi: Rewriting-based
verification of authentication protocols. 4th International Workshop on Rewriting
Logic and its Applications (WRLA 2002). Electronic Notes in Theoretical Computer
Science, Vol. 71, Elsevier Science, 2002.
 Kazuhiro Ogata and Kokichi Futatsugi: Proof
scores in the OTS/CafeOBJ method. IFIP TC6/WG6.1 6th International Conference
on Open Object-Based Distributed Systems (FMOODS 2003), Lecture Notes in Computer
Science, Springer, 2003 (to appear).