お店のコメント(スペック情報を含む場合もあり)
内容説明 The author investigates proofs of correctness of realistic security protocols in a formal， intuitive setting. The protocols examined include Kerberos versions， smartcard protocols， non-repudiation protocols， and certified email protocols. The method of analysis turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis， while the findings on the protocols analysed are novel and illuminating.
![【クリックでお店のこの商品のページへ】Formal Correctness of Security Protocols (Information Security and Cryptography) [ハードカバー]](http://ec2.images-amazon.com/images/I/31oxLtfYuZL._BO2，204，203，200_PIsitb-sticker-arrow-click，TopRight，35，-76_AA300_SH20_OU09_.jpg){kind=icon}
お店
アマゾン (amazon)
お店の商品コード
3540681345
JANコード
-
メーカー
Giampaolo Bella
商品ジャンル
商品名
最終調査日時
2013/05/04 (Sat) 17:58:23
価格の変動(直近3回 ： ￥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2013/05/04 (Sat) 17:58:23
￥8,346
0 ％
￥8,346
2012/05/09 (Wed) 19:26:26
￥7,362
0 ％
￥7,362
1970/01/01 (Thu) 00:00:00
￥0
0 ％
￥0
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告