M.: Formal models and analysis of secure multicast in wired and wireless networks (0)

by R Gorrieri, F Martinelli, Petrocchi
Venue:J. Autom. Reasoning