数理的技法による情報セキュリティ / 日本応用数理学会／監修　萩谷昌己／編　塚田恭章／編

暗号プロトコルの新しい検証手法・方法論暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法―本書は、近年世界的に研究が活性化している、この新しい境界分野に関する初の邦書です。暗号理論と数理的技法はこれまで独立に発展してきたため、境界分野の理解には両分野の多岐に渡る知識が必須で、数多くの文献に目を通す必要がありました。本書は、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説しており、この新しい境界分野への良き入門書となっています。<br>日本応用数理学会／監修　萩谷昌己／編　塚田恭章／編
共立出版
2010年07月
スウリテキ　ギホウ　ニ　ヨル　ジヨウホウ　セキユリテイ　シリ?ズ　オウヨウ　スウリ　１
ニホン／オウヨウ／スウリ／ガツカイ　ハギヤ，マサミ　ツカダ，ヤスユキ
シリーズ応用数理　第１巻/