Paolo Modesti. Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. In Sjouke Mauw, Christian Damsgaard Jensen, editors, Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings. Volume 8743 of Lecture Notes in Computer Science, pages 204-208, Springer, 2014. [doi]
Abstract is missing.