Notes on Nominal Calculi for Security and Mobility-Reference-Cited by-同舟云学术

Notes on Nominal Calculi for Security and Mobility

Published:2001 Issue: Volume: Page:262-330
ISSN:0302-9743
Container-title:Foundations of Security Analysis and Design
language:
Short-container-title:

Author:

Gordon Andrew D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45608-2_5

Reference91 articles.

1. M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749–786, September 1999. 289, 323

2. M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706–734, 1993. 273

3. M. Abadi and C. Fournet. Mobile values, new names, and secure communication. In 28th ACM Symposium on Principles of Programming Languages (POPL’01), pages 104–115, 2001. 288, 289

4. M. Abadi, C. Fournet, and G. Gonthier. Secure communications implementation of channel abstractions. In 13th IEEE Symposium on Logic in Computer Science (LICS’98), pages 105–116, 1998. 289

5. M. Abadi and A. D. Gordon. A bisimulation method for cryptographic protocols. Nordic Journal of Computing, 5:267–303, 1998. 289

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

1. Regular and context-free nominal traces;Acta Informatica;2016-02-23

2. Towards Nominal Context-Free Model-Checking;Implementation and Application of Automata;2013

3. Nominal Automata for Resource Usage Control;Implementation and Application of Automata;2012

4. Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data;Language and Automata Theory and Applications;2010

5. Forward Analysis for Petri Nets with Name Creation;Applications and Theory of Petri Nets;2010