Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming-Reference-Cited by-同舟云学术

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

Published:2009 Issue: Volume: Page:417-431
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Hildebrandt Thomas,López Hugo A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02846-5_34

Reference16 articles.

1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL 2001 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 104–115. ACM Press, New York (2001)

2. Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The SPi Calculus. Inf. Comput. 148(1), 1–70 (1999)

3. Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: 14th IEEE Computer Security Foundations Workshop (CSFW-14), Cape Breton, Nova Scotia, Canada, June 2001, pp. 82–96. IEEE Computer Society, Los Alamitos (2001)

4. Buchholtz, M., Riis Nielson, H., Nielson, F.: A calculus for control flow analysis of security protocols. International Journal of Information Security 2(3), 145–167 (2004)

5. Lecture Notes in Computer Science;R. Corin,2002

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Session-based concurrency, declaratively;Acta Informatica;2021-03-18

2. Subexponential concurrent constraint programming;Theoretical Computer Science;2015-11

3. Declarative interpretations of session-based concurrency;Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming;2015-07-14

4. Abstract interpretation of temporal concurrent constraint programs;Theory and Practice of Logic Programming;2014-02-10

5. Models and emerging trends of concurrent constraint programming;Constraints;2013-04-21