- Information
- 特典に関するお知らせとご注意
- 中古・ユーズドに関するご注意
- 価格（税込）：3,850円
- Vポイント：17pt
-
-
通常
1～3日で発送
在庫確認の結果、調達が出来ない場合がございます。
発送の目安について
この商品の説明
目次
第1章 数理的技法による情報セキュリティの検証;第2章 spi計算による暗号プロトコルの記号的検証;第3章 ゲーム列による安全性証明の基礎;第4章 ゲーム列による安全性証明の形式化と自動化―確率Hoare論理と確率プロセス計算によるアプローチ;第5章 タスク構造確率I/Oオートマトンを用いた安全性証明;第6章 汎用的結合可能性による暗号システムの安全性証明;第7章 識別不可能性の記号的な解析とその健全性・完全性;第8章 マッピング補題―計算論的トレースから記号論的トレースへ;第9章 セキュリティプロトコルの論理的検証法
商品仕様
- アイテム名:書籍
- ページ数:２０７ｐ
- 大きさ:２１ｃｍ（Ａ５）
- 出版社:共立出版
- ISBN-10:4320019504
- ISBN-13:9784320019508
【お届けの際のご注意】
▼発送時期について
BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。
また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。
なお、書籍と書籍以外の商品（DVD、CD、ゲーム、GOODSなど）を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。
▼本・コミックの価格表示について
本サイト上で表示されている商品の価格（以下「表示価格」といいます）は、本サイト上で当該商品の表示を開始した時点の価格となります。
この価格は、売買契約成立時までに変動する可能性があります。
利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、
詳しくはオンラインショッピングサービス利用規約をご確認ください。
なお、価格変動による補填、値引き等は一切行っておりません。
■オンラインショッピングサービス利用規約
(1) 宅配サービス：第2章【宅配サービス】第6条において定めます。
(2) TOLピックアップサービス：第3章【TOLピックアップサービス】第12条において定めます。
【サイト表記の書籍カバーについて】
書籍のカバーは、期間限定で変更する場合がございます。
そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。
カバー違いによる交換は行っておりません。
JASRAC許諾番号 ：9036850001Y45040