Formal verification of secured routing protocols
With the development of digital networks, such as Internet, communication protocols are omnipresent. Digital devices have to interact with each other in order to perform the numerous and complex tasks we have come to expect as commonplace, such as using a mobile phone, sending or receiving electroni...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00675509 http://tel.archives-ouvertes.fr/docs/00/67/55/09/PDF/Arnaud2011.pdf |