A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission (2000)

View PDF

Download Links

by Birgit Pfitzmann , Michael Waidner
Citations:168 - 18 self