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

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

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
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, black & white illustrations, bibliography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年11月9日
発売日 2011
ISBN13 9783642430534
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 174
寸法 155 × 235 × 10 mm   ·   295 g
言語 ドイツ語  

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

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