This paper investigates foundations for the description of, and reasoning about, trust in secure digital communication. We propose a logic, called the Typed Modal Logic (TML), which extends first-order logic with typed variables and modal operators to express agent beliefs. Based on the logic, the theory of trust for a specific security system can be established. Such trust theories provide a foundation for reasoning about trust in digital communication.
CITATION STYLE
Liu, C. (2001). Logical foundations for reasoning about trust in secure digital communication. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2256, pp. 333–344). Springer Verlag. https://doi.org/10.1007/3-540-45656-2_29
Mendeley helps you to discover research relevant for your work.