数理的技法による情報セキュリティ, 日本応用数理学会監修, シリーズ応用数理, 第1巻