Author:
Chatzikokolakis Konstantinos,Palamidessi Catuscia
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. A calculus for cryptographic protocols: The spi calculus;Abadi;Information and Computation,1999
2. Security analysis of a probabilistic non-repudiation protocol;Aldini,2002
3. A framework for analyzing probabilistic protocols and its application to the partial secrets exchange;Chatzikokolakis,2005
4. Konstantinos Chatzikokolakis, Catuscia Palamidessi, A framework for analyzing probabilistic protocols and its application to the partial secrets exchange, 2005, Report version of [3], available at: www.lix.polytechnique.fr/~catuscia/papers/PartialSecrets/TGCreport.pdf
5. Efficient algorithms for verification of equivalences for probabilistic processes;Christoff,1991
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献