Loading...
Formal correctness of security protocols
Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. The author investigates proofs of c...
Na minha lista:
| Hovedforfatter: | |
|---|---|
| Format: | Livro |
| Sprog: | Inglês |
| Udgivet: |
Springer Berlin Heidelberg :,
2007.
|
| Serier: | Information security and cryptography, |
| Fag: | |
| Online adgang: | https://minerva.ufrj.br/F/?func=direct&doc_number=000903908&local_base=UFR01 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|