Expression object-oriented of universal logic

In these years, universal logic has developed greatly. As a kind of concrete universal logic, authentic logic is used to analyze the security of cryptographic protocols. This paper firstly puts forward relational conceptions and gives the structure´s expression of object-oriented universal logic. Then authors analyze the logic structure´s expression of authentic logic with the example: BAN logic. Using the conceptions of general correlation and general self-correlation, authors discuss the applicability and correlation of authentic logic. This work can contribute to perfecting authentic logic in artificial intelligence reasoning, and offering a new expression way of universal logic.