Cas J. F. Cremers. On the protocol composition logic PCL. In Masayuki Abe, Virgil D. Gligor, editors, Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008. pages 66-76, ACM, 2008. [doi]
Abstract is missing.