论文信息 - SVO Logic Based Formalisms of GSI Protocols

SVO Logic Based Formalisms of GSI Protocols

This paper employs SVO logic to describe the interoperability protocols of GSI. As a successor of BAN logic, SVO logic can be used to assume certain goals a protocol must hold. Because the messages exchanged in a protocol depend on the credential format and encryption mechanism, these protocols are formalized in terms of protocol goals using the credential of X.509 certificates.

Hui Liu | Minglu Li

[1] Martín Abadi,et al. A logic of authentication , 1990, TOCS.

[2] Ian T. Foster,et al. A security architecture for computational grids , 1998, CCS '98.

[3] Anthony H. Dekker. C3PO: a tool for automatic sound cryptographic protocol analysis , 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

[4] Rebecca N. Wright,et al. An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency , 2002, IEEE Trans. Software Eng..

[5] Jonathan Armstrong,et al. Introduction to grid computing with globus , 2003 .

[6] Paul F. Syverson,et al. The Logic of Authentication Protocols , 2000, FOSAD.