@inproceedings{Cr2008PCL,
  title = "On the Protocol Composition Logic {PCL}",
  author = "C.J.F. Cremers",
  year = "2008",
  address = "Tokyo",
  booktitle = "Proceedings of the 3rd ACM Symposium on Information, Computer and Communications Security",
  editor = "M. Abe and V. Gligor",
  month = "March",
  pages = "66--76",
  publisher = "ACM Press",
  series = "{\bf ASIACCS}",
}