学位論文 A Formal Analysis Method with Reasoning for Cryptographic Protocols and Its Supporting Tools

我妻, 和憲

内容記述
博士の専攻分野の名称 : 博士(工学)学位授与年月日 : 平成28年3月24日
本文を読む

http://sucra.saitama-u.ac.jp/modules/xoonips/download.php?id=GD0000702

このアイテムのアクセス数:  回

その他の情報