Operational semantics and verification of security protocols /
<p>Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correct...
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | |
| フォーマット: | eBook |
| 言語: | English |
| 出版事項: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012.
|
| シリーズ: | Information Security and Cryptography
|
| 主題: | |
| オンライン･アクセス: | Click here to view the full text content |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
システム保守作業中
現在、図書館管理システムは保守作業中です。
現在、予約と貸出情報の閲覧は利用できません。ご不便をおかけし大変申し訳ありません。詳細は担当にご連絡ください: