数理的技法による情報セキュリティ

暗号理論と数理的技法の融合による暗号プロトコルの新しい検証手法という、近年世界的に研究が活性化している分野に関する初の邦書。基礎的な概念と主要な方法論をわかりやすくコンパクトに解説する。