𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards the Correctness of Security Protocols

✍ Scribed by Debbabi, Mourad; Mejri, Mohamed

Book ID
122156305
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
356 KB
Volume
83
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal Correctness of Security Protocols
Formal Correctness of Security Protocols
✍ Giampaolo Bella πŸ“‚ Library πŸ“… 2007 πŸ› Springer 🌐 English βš– 4 MB

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 co

Host Identity Protocol (HIP).Towards the
Host Identity Protocol (HIP).Towards the secure mobile Internet
πŸ“‚ Standards πŸ“… 2008 🌐 English βš– 43 KB

eu.wiley.com сообщаСт: One of the challenges facing the current Internet architecture is the incorporation of mobile and multi-homed terminals (hosts), and an overall lack of protection against Denial-of-Service attacks and identity spoofing. The Host Identity Protocol (HIP) is being developed by t