@Article{BAN89,
    Author       = "Burrows, M. and Abadi, M. and Needham, R.",
    Year         = "1989",
    Title        = "{A Logic of Authentication}",
    Journal      = "Proceedings of the Royal Society",
    Volume       = "426",
    Number       = "1871",
    Comment      = "TPTPRef"
}