* Seminar Notes on Oct. 23 & 39

* Papers related to the verification of the protocol are as follows:

[1] 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.

[2] 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).

- nslpk.mod
- invariants.mod
- proof100
- proof110
- proof120
- proof130
- proof140
- proof150
- proof160
- proof170
- proof180
- proof190
- proof200
- proof210
- proof220
- proof230
- proof240
- proof250
- proof260