@InProceedings{HA97,
    Author       = "Huima, A. and Aura, T.",
    Year         = "1997",
    Title        = "{Using Multimodal Logic to Express Conflicting Interests
                    in Security Protocols}",
    Editor       = "Orman, H. and Meadows, C.",
    BookTitle    = "{Proceedings of the DIMACS Workshop on Design and Formal
                    Verification of Security Protocols}",
    Place        = "New Jersey, USA",
    Publisher    = "DIMACS",
    Comment      = "TPTPRef"
}