Formal models and analysis of secure multicast in wired and wireless networks

DOI10.1007/S10817-008-9112-7zbMath1191.68036OpenAlexW2044781276MaRDI QIDQ1040779

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi

Publication date: 25 November 2009

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-008-9112-7

zbMATH Keywords

multicast communicationformal security models and analysis

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• SPINS

Cites Work

• A framework for security analysis of mobile wireless networks
• Analysis of security protocols as open systems
• How to sign digital streams
• SPINS: Security protocols for sensor networks
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules
• A process algebra for timed systems
• Theoretical Computer Science
• Foundations of Security Analysis and Design II
• Formal Methods for Open Object-Based Distributed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal models and analysis of secure multicast in wired and wireless networks