「数理的技法による情報セキュリティ」研究部会の紹介(研究部会だより) 塚田 恭章 日本応用数理学会 応用数理 09172270 17 1 85 86 2007-03-26 2007-03-26 110006242225 AN10288886 JPN CJP NII-ELS 3 3 Activities of the Special Interest Group on Formal Approach to Information Security(Report from Special Interest Group) Tsukada Yasuyuki The Japan Society for Industrial and Applied Mathematics 塚田 恭章 Tsukada Yasuyuki NTTコミュニケーション科学基礎研究所