References

References

• A derivational system and compositional logic for security protocols
  • with A. Datta, A. Derek and J. Mitchell, J. of Comp. Security 2005, 60 pp.
• An encapsulated authentication logic for reasoning about key distribution protocols
  • with I. Cervesato and C. Meadows, Proceedings of CSFW 2005 (IEEE), 12 pp.
• Deriving, attacking and defending GDOI
  • with C. Meadows, Proceedings of ESORICS 2004 (Springer LNCS), 20 pp.
• Abstraction and refinement in protocol derivation
  • with A. Datta, A. Derek and J. Mitchell, Proceedings of CSFW 2004 (IEEE), 10 pp
• Secure protocol composition
  • with A. Datta and A. Derek and J. Mitchell, Proceedings of MFPS 2003 (ELNCS); ext. abstract in FMCS 2003 (ACM)
• Derivation system for security protocols and its logical formalization
  • with A. Datta, A. Derek and J. Mitchell, Proceedings of CSFW 2003 (IEEE)
• Compositional logic for protocol correctness
  • with N. Durgin and J. Mitchell, J. of Comp. Security 2003; eariler version in CSFW 2001 (IEEE)
• Composition and refinement of behavioral specifications
  • with D. Smith, ASE 2002 (IEEE)

see also www.kestrel.edu/home/people/pavlovic

References