回数 | date | 講義内容(予定)/配布資料 |
1 | 10/1 | | |
2 | 10/8 | 配布資料1 配布資料2 |
3 | 10/22 | 配布資料3 |
4 | 10/29 | 配布資料4 |
5 | 11/5 | 配布資料5 |
6 | 11/12 | 配布資料5(改訂版) |
7 | 11/19 | 配布資料6 |
8 | 11/26 | |
9 | 12/3 | Hennessy and Riely. Resource Access Control in Systems of Mobile Agents. について |
10 | 12/10 | Cardell and Gordon. Mobile Ambients. について |
11 | 12/17 | Sangiorgi and Valente. A
Distributed Abstract Machine for Safe Ambients. について |
12 | 1/7 | Abadi and Gordon. A calculus for cryptographic protocols: The Spi calculus. について |
13 | 1/14 | Kobayashi, Suenaga, and Wischik. Resource Usage Analysis for the pi-Calculus. について |
14 | 1/21 | Gordon and Jeffrey.
Authenticity by typing for security protocols. について |
15 | 1/28 | |