Jose Quaresma, Christian W. Probst. Protocol Implementation Generator. In Tuomas Aura, Kimmo Järvinen, Kaisa Nyberg, editors, Information Security Technology for Applications - 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers. Volume 7127 of Lecture Notes in Computer Science, pages 256-268, Springer, 2010. [doi]
Abstract is missing.