Verifying multicast-based security protocols using the inductive method - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Verifying multicast-based security protocols using the inductive methodJean Everson Martina, Lawrence C. Paulson. ijisec, 14(2):187-204, 2015. [doi]

runs on WebDSL