@Article{ACGMMR2008framework,
  title     = {A framework for compositional verification of security protocols},
  author    = {S. Andova and C.J.F. Cremers and K. Gj\o{}steen and S. Mauw and S.F. Mj\o{}lsnes and S. Radomirovi\'{c}},
  booktitle = {Special issue on Computer Security: Foundations and Automated Reasoning},
  journal   = {Information and Computation},
  year      = {2008},
  Issue     = {2-4},
  Volume    = {206},
  Month     = {February},
  pages     = {425-459},
}