Operational Semantics and Verification of Security Protocols
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 correctness. Com...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Korporace: | |
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin, Heidelberg :
Springer Berlin Heidelberg :
2012
|
| Edice: | Information Security and Cryptography,
|
| Žánr/forma: | elektronické knihy |
| ISBN: | 9783540786368 |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|