入札プロトコルの形式的検証 - 米崎, 直樹; 萩原, 茂樹 (日本ソフトウェア科学会大会講演論文集, 2002)