Formal Validation of Security Properties of AMT's Three-Way Handshake
Multicasting is a technique for transmitting the same information to multiple receivers over IP networks. It is often deployed on streaming media applications over the Internet and private networks. The biggest problem multicast introduces today is that it is an all or nothing solution. Every eleme...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2011
|
| Online Access: | http://spectrum.library.concordia.ca/7324/1/Salem_MSc_S2011.pdf Salem, Ali Mohamad <http://spectrum.library.concordia.ca/view/creators/Salem=3AAli_Mohamad=3A=3A.html> (2011) Formal Validation of Security Properties of AMT's Three-Way Handshake. Masters thesis, Concordia University. |