@article{ACGMMR2006composing,
  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},
  volume        = {206},
  issue         = {2-4},
  month         = {February-April},
  pages         = {425--459},
  url           = {http://satoss.uni.lu/papers/ACGMNR07.pdf}
}