@misc{cryptoeprint:2000:066,
    author = {Birgit Pfitzmann and Michael Waidner},
    title = {A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission},
    howpublished = {Cryptology ePrint Archive, Report 2000/066},
    year = {2000},
    url = {http://eprint.iacr.org/2000/066},
}