Birgit Pfitzmann, Matthias Schunter, Michael Waidner. Cryptographic Security of Reactive Systems. Electronic Notes in Theoretical Computer Science, 32:59-77, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.