Author:
Anantharaman Siva,Narendran Paliath,Rusinowitch Michael
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abadi, M., Cortier, V.: Deciding knowledge in security protocols under equational theories. Theor. Comput. Sci. 367(1-2), 2–32 (2006)
2. Amadio, R., Lugiez, D., Vanackère, V.: On the symbolic reduction of processes with cryptographic functions. Theor. Comput. Sci. 290(1), 695–740 (2003)
3. S. Anantharaman, P. Narendran, M. Rusinowitch. Intruders with Caps, http://www.univ-orleans.fr/lifo/prodsci/rapports/RR/RR2007/RR-2207-02.ps
4. Lecture Notes in Artificial Intelligence;A. Armando,2004
5. Baudet, M.: Deciding security of protocols against off-line guessing attacks. In: Proc. of ACM Conference on Computer and Communications Security, pp. 16–25 (2005)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献