Author:
Fournet Cédric,Gordon Andrew D.,Maffeis Sergio
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abadi, M.: On SDSI’s linked local name spaces. J. Computer Security 6(1–2), 3–21 (1998)
2. Abadi, M.: Secrecy by typing in security protocols. J. ACM 46(5), 749–786 (1999)
3. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148, 1–70 (1999)
4. Becker, M.Y., Sewell, P.: Cassandra: flexible trust management, applied to electronic health records. In: 17th IEEE Computer Security Foundations Workshop (CSFW 2004), June 2004, pp. 139–154 (2004)
5. Lecture Notes in Computer Science;B. Blanchet,2002
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献