Author:
Schneider Steve,Sidiropoulos Abraham
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. D. Chaum, Security without Identification: Card Computers to make Big Brother Obsolete, CACM 28(10), 1985.
2. D. Chaum, The dining cryptographers problem: unconditional sender and recipient untraceability, J. Cryptology (1), 1988.
3. Formal Systems (Europe) Ltd, Failures Divergences Refinement User Manual and Tutorial, 1994.
4. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
5. G. Lowe, Probabilities and priorities in timed CSP, D.Phil thesis, Oxford, 1993.
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献