@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},
}