Theoretical Computer Science

DOI10.1007/B13810zbMath1257.68033OpenAlexW3144329707MaRDI QIDQ5897374

Fabio Martinelli, Anna Vaccarelli, Marinella Petrocchi

Publication date: 23 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13810

zbMATH Keywords

securityintegritydigital streamscompositional analysis and verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

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

This page was built for publication: Theoretical Computer Science