@Article{BG:JTIT02,
  author    =  {M. Boreale and D. Gorla},
  title     =  {Process Calculi and the Verification of Security Properties},
  journal   =  {Journal of Telecommunication and Information Technology---
                Special Issue on Cryptographic Protocol Verification},
  number    =  {4/02},
  pages     =  {28--40},
  year      =  {2002},
  publisher =  {National Institute of Telecommunications - Warsaw},
}