最安値はここだ！ -価格比較-

商品について

JANコード

9784320019508

希望小売価格

3850

Y!での商品説明(HMV&BOOKS online Yahoo!店)

発売日:2010年07月 / ジャンル:建築・理工 / フォーマット:全集・双書 / 出版社:共立出版社 / 発売国:日本 / ISBN:9784320019508 / アーティストキーワード:萩谷昌己 / タイトルキーワード:スウリテキギホウニヨルジョウホウセキュリティ

内容詳細:本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。目次:第１章　数理的技法による情報セキュリティの検証/ 第２章　ｓｐｉ計算による暗号プロトコルの記号的検証/ 第３章　ゲーム列による安全性証明の基礎/ 第４章　ゲーム列による安全性証明の形式化と自動化―確率Ｈｏａｒｅ論理と確率プロセス計算によるアプローチ/ 第５章　タスク構造確率Ｉ／Ｏ・・・

楽天での商品説明(ドラマ×プリンセスカフェ)

■ジャンル：理学＞数学＞情報数学■ISBN：9784320019508■商品名：数理的技法による情報セキュリティ 日本応用数理学会/監修 萩谷昌己/編 塚田恭章/編★日時指定・銀行振込・コンビニ支払を承ることのできない商品になります商品情報商品名数理的技法による情報セキュリティ　日本応用数理学会/監修　萩谷昌己/編　塚田恭章/編フリガナスウリテキ　ギホウ　ニ　ヨル　ジヨウホウ　セキユリテイ　シリ−ズ　オウヨウ　スウリ　1著者名日本応用数理学会/監修　萩谷昌己/編　塚田恭章/編出版年月201007出版社共立出版大きさ207P　22cm