暗号理論と数理的技法の融合による，暗号プロトコルの新しい検証手法―本書は，近年世界的に研究が活性化している，この新しい境界分野に関する初の邦書です。暗号理論と数理的技法はこれまで独立に発展してきたため･･･