Author:
Jacquemard Florent,Klay Francis,Vacher Camille
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference28 articles.
1. M. Abadi, C. Fournet, Mobile values, new names, and secure communication, in: 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2001, pp. 104–115.
2. Verification of security protocols with a bounded number of sessions based on resolution for rigid variables;Affeldt,2009
3. Visibly pushdown languages;Alur,2004
4. On name generation and set-based analysis in the dolev-yao model;Amadio,2002
5. Closure properties and decision problems of dag automata;Anantharaman;Information Processing Letters,2005
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献