Using a multimodal logic to express conflicting interests in security protocols

Reference:

Antti Huima and Tuomas Aura. Using a multimodal logic to express conflicting interests in security protocols. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Proceedings were published in electronic form (CD) only.

Suggested BibTeX entry:

@inproceedings{AH97,
    author = {Antti Huima and Tuomas Aura},
    booktitle = {Proc.\ DIMACS Workshop on Design and Formal Verification of Security Protocols},
    note = {Proceedings were published in electronic form (CD) only.},
    title = {Using a multimodal logic to express conflicting interests in security protocols},
    year = {1997},
}