Jean Everson Martina, Lawrence C. Paulson. Verifying multicast-based security protocols using the inductive method. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1824-1829, ACM, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.