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

DOI10.1007/S10817-008-9112-7MaRDI QIDQ1040779zbMATH OpenOpenAlexFDO

Authors 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

formal security models and analysismulticast communication

Mathematics Subject Classification ID

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

Recommendations

• Formal analysis of security protocols for wireless sensor networks
• scientific article; zbMATH DE number 1949668
• Analysis of a key distribution scheme in secure multicasting
• Secure multicast in dynamic environments
• Computational Science – ICCS 2005

Cites work

• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• scientific article; zbMATH DE number 1497862 (Why is no real title available?)
• A framework for security analysis of mobile wireless networks
• A process algebra for timed systems
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules
• A team automaton scenario for the analysis of security properties of communication protocols
• Analysis of security protocols as open systems
• Formal analysis of some timed security properties in wireless protocols.
• Foundations of Security Analysis and Design II
• How to sign digital streams
• SPINS: Security protocols for sensor networks
• Theoretical Computer Science

Cited in

(4)

• Foundations of Software Science and Computation Structures
• Modeling group communication protocols using multiset term rewriting
• scientific article; zbMATH DE number 1949668 (Why is no real title available?)
• Secure reliable multicast protocols in a WAN

Describes a project that uses

Uses Software

• SPINS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1040779)