2010年 数理的技法による情報セキュリティ 萩谷昌巳, 塚田恭章, 住井英二郎 担当区分 共著 担当範囲 第2章（spi計算による暗号プロトコルの記号的検証）17頁～35頁 出版者・発行元 共立出版 記述言語 日本語 著書種別 学術書 DOI ISBN 9784320019508 ID情報 ISBN : 9784320019508
