On the relationship between strand spaces and multi-agent systems

ACM Transactions on Information and System Security

Volumn 6, Issue 1, 2003, Pages 43-70

  Halpern, Joseph Y ^a,b   Pucella, Riccardo ^a,b  

^a Cornell University ^*  (United States)

^b School of Operations Research and Information Engineering   (United States)

Author keywords

Agents; Expressiveness; Multi agent systems; Security protocols; Strand spaces

Indexed keywords

EXPRESSIVENESS; SECURITY PROTOCOLS; STRAND SPACES;

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; DATA PRIVACY; NETWORK PROTOCOLS; SECURITY OF DATA;

MULTI AGENT SYSTEMS;

EID: 3142594319     PISSN: 10949224     EISSN: None     Source Type: Journal    
DOI: 10.1145/605434.605436     Document Type: Review

References (22)

1. ALPERN, B. AND SCHNEIDER, F. B. 1985. Defining liveness. Information Processing Letters 21, 181-185.
2. ASOKAN, N., SHOUP, V., AND WAIDNEE, M. 1998. Asynchronous protocols for optimistic fair exchange. In Proceedings of the IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press, 86-99.
3. BEN-OR, M., GOLDREICH, O., MICALI, S., AND RIVEST, R. L. 1990. A fair protocol for signing contracts. IEEE Trans. Inform. Theory 36, 1, 40-46.
4. BURROWS, M., ABADI, M., AND NEEDHAM, R. M. 1990. A logic of authentication. ACM Trans. Comput Syst. 8, 1, 18-36.
5. BUSI, N. AND GORRIERI, R. 1994. Distributed conflicts in communicating systems. In ECOOP Workshop. Lecture Notes in Computer Science, vol. 924. Springer, 49-65.
6. CERVESATO, I., DURGIN, N., MITCHELL, J., LINCOLN, P., AND SCEDROV, A. 2000. Relating strands and multiset rewriting for security protocol analysis. In Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 35-51.
7. CRAZZOLARA, F. AND WINSKEL, G. 2001. Events in security protocols. In Proceedings of the Eighth ACM Conference on Computer and Communications Security. ACM Press, 96-105.
8. FAGIN, R., HALPERN, J. Y., MOSES, Y. AND VARDI, M. Y. 1995. Reasoning about Knowledge. The MIT Press.
9. GRAY III, J. W. AND SYVERSON, P. F. 1998. A logical approach to multilevel security of probabilistic systems. Distributed Computing 11, 2, 73-90.
10. GROVE, A. J. 1995. Naming and identity in epistemic logic II: a first-order logic for naming. Artificial Intelligence 74, 2, 311-350.
11. GROVE, A. J. AND HALPERN, J. Y. 1993. Naming and identity in epistemic logics, Part I: the propositional case. J. Logic Comput. 3, 4, 345-378.
12. HALPERN, J. Y. 2000. A note on knowledge-based programs and specifications. Distributed Computing 13, 145-153.
13. HALPERN, J. Y., MOSES, Y., AND TUTTLE, M. R. 1988. A knowledge-based analysis of zero knowledge. In Proceedings of the 20th ACM Symposium on Theory of Computing. 132-147.
14. McLEAN, J. 1994. Security models. In Encyclopedia of Software Engineering, J. Marciniak, Ed. Wiley Press.
15. PALAMIDESSI, C. 1997. Comparing the expressive power of the synchronous and the asynchronous pi-calculus. In Conference Record of the Twenty-Fourth Annual ACM Symposium on Principles of Programming Languages. ACM Press, 256-265.
16. SHMATIKOV, V. AND MITCHELL, J. C. 2000. Analysis of a fair exchange protocol. In Seventh Annual Symposium on Network and Distributed System Security (NDSS 2000). 119-128.
17. SNEKKENES, E. 1992. Roles in cryptographic protocols. In Proceedings of the 1992 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 105-119.
18. STUBBLEBINE, S. AND WRIGHT, R. 1996. An authentication logic supporting synchronization, revocation, and recency. In 3rd ACM Conference on Computer and Communications Security. ACM Press.
19. SYVEHSON, P. 1990. A logic for the analysis of cryptographic protocols. NRL Report 9305, Naval Research Laboratory.
20. SYVERSON, P. 1999. Towards a strand semantics for authentication logic. Electronic Notes in Theoretical Computer Science 20.
21. THAYER, F. J., HERZOG, J. C., AND GUTTMAN, J. D. 1999a. Mixed strand spaces. In Proceedings of the 12th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press.
22. THAYER, F. J., HERZOG, J. C., AND GUTTMAN, J. D. 1999b. Strand spaces: Proving security protocols correct. J. Comput. Secu. 7, 2/3, 191-230.