%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 }