Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540786351 - 2012年10月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Cas Cremers
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography 2011 edition

価格
¥ 13.019
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月1日 - 年9月17日
Cas Cremers の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.

174 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2012年10月31日
発売日 2011
ISBN13 9783540786351
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 174
寸法 241 × 160 × 16 mm   ·   439 g
言語 英語  

同じ出版社からのその他の記事

Cas Cremersのすべてを見る ( 例： Hardcover Book および Paperback Book )