Semantic interpretation of Compositional Logic in Instantiation Space

doi:10.1007/s11704-007-0019-y

Front. Comput. Sci.

2007, Vol. 1

Issue (2) : 191-199 https://doi.org/10.1007/s11704-007-0019-y

Semantic interpretation of Compositional Logic in Instantiation Space

SU Kaile, XIAO Yinyin, CHEN Qingliang, LIN Han

Department of Computer Science, Sun Yat-sen University, Guangzhou 510275, China;

Download: PDF(585 KB)
Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks

Abstract The formal methods for security protocols guarantee the security properties of protocols. Instantiation Space Logic is a new security protocol logic, which has a strong expressive power. Compositional Logic is also a useful security protocol logic. This paper analyzes the relationship between these two logics, and interprets the semantics of Compositional Logic in Instantiation Space model. Through our work, the interpreted Compositional Logic can be extended more easily. Moreover, those security protocols described in Compositional Logic can be automatically verified by the verifier of Instantiation Space. The paper also proves that the expressive power of Instantiation Space Logic, which can not be completely interpreted by Compositional Logic, is stronger than Compositional Logic.

Issue Date: 05 June 2007

Cite this article:

XIAO Yinyin,SU Kaile,CHEN Qingliang, et al. Semantic interpretation of Compositional Logic in Instantiation Space[J]. Front. Comput. Sci., 2007, 1(2): 191-199.

URL:

https://academic.hep.com.cn/fcs/EN/10.1007/s11704-007-0019-y
https://academic.hep.com.cn/fcs/EN/Y2007/V1/I2/191

Viewed

Full text

Abstract

Cited

Shared

Discussed