Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Generic
%1 Pfitzmann2002SecureAsyncReactiveSystems
%A Pfitzmann, B.
%A Waidner, M.
%B Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on
%D 2002
%K crypto distributed reactive specification verification
%P 184--200
%T A model for asynchronous reactive systems and its application to secure message transmission
%@ 0769510469
@conference{Pfitzmann2002SecureAsyncReactiveSystems,
added-at = {2010-11-27T16:25:17.000+0100},
author = {Pfitzmann, B. and Waidner, M.},
biburl = {https://www.bibsonomy.org/bibtex/2ee597cbb9461d568b3349c2a1c19aa9f/giuliano.losa},
booktitle = {Security and Privacy, 2001. S\&P 2001. Proceedings. 2001 IEEE Symposium on},
interhash = {6dd8afdcbdb79f20102109e278df4fad},
intrahash = {ee597cbb9461d568b3349c2a1c19aa9f},
isbn = {0769510469},
keywords = {crypto distributed reactive specification verification},
organization = {IEEE},
pages = {184--200},
timestamp = {2010-11-27T16:25:17.000+0100},
title = {{A model for asynchronous reactive systems and its application to secure message transmission}},
year = 2002
}