Sciweavers

Share
JAR
2008

Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

9 years 11 months ago
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the flourishing of security threats, the distribution of streamed data must be equipped with sufficient security guarantees. To this aim, some architectures have been proposed, to supply the distribution of the stream with guarantees of, e.g., authenticity, integrity, and confidentiality of the digital contents. This paper shows a formal capability of capturing some features of secure multicast protocols. In particular, both the modeling and the analysis of some case studies are shown, starting from basic schemes for signing digital streams, passing through protocols dealing with packet loss and time-synchronization requirements, concluding with a secure distribution of a secret key. A process-algebraic framework will be exploited, equipped with schemata for analysing security properties and compositional principl...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JAR
Authors Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
Comments (0)
books