A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems

1. Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Transactions on Computer Systems 8(1), 18–36 (1990)

   Article  Google Scholar 

2. Dekker, A.: C3PO: A tool for automatic sound cryptographic protocol analysis. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, Cambridge, UK, July 3-5, pp. 77–87. IEEE Computer Society, Los Alamitos (2000)

   Chapter  Google Scholar 

3. Durgin, N., Mitchell, J., Pavlovic, D.: A compositional logic for proving security properties of protocols. Journal of Computer Security 11, 677–721 (2003)

   Google Scholar 

4. Elofson, G.: Developing trust with intelligent agents: An exploratory study. In: Proceedings of the first International Workshop on Deception, Fraud and Trust in Agent Societies, Minneapolis/St Paul, USA, pp. 125–139 (1998)

   Google Scholar 

5. Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information 1, 203–233 (1992)

   Article  MATH  MathSciNet  Google Scholar 

6. Gabbay, D.M., Shehtman, V.: Products of modal logics, part 1. Logic Journal of the IGPL 6(1), 71–146 (1998)

   MathSciNet  Google Scholar 

7. Dov, M.: Fibring Logics. Oxford University Press, Oxford (1999)

   MATH  Google Scholar 

8. Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 319–379 (1992)

   Article  MATH  MathSciNet  Google Scholar 

9. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, New York (1996)

   Book  MATH  Google Scholar 

10. Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS (LNAI), vol. 1647, pp. 221–231. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

11. Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic 56(4), 1469–1485 (1991)

    Article  MATH  MathSciNet  Google Scholar 

12. Kripke, S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83–94 (1963)

    MATH  MathSciNet  Google Scholar 

13. Liu, C.: Logical foundations for reasoning about trust in secure digital communication. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS (LNAI), vol. 2256, pp. 333–344. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

14. Liu, C., Orgun, M.A.: Dealing with multiple granularity of time in temporal logic programming. Journal of Symbolic Computation 22, 699–720 (1996)

    Article  MATH  MathSciNet  Google Scholar 

15. Liu, C., Ozols, M.A.: Trust in secure communication systems – the concept, representations, and reasoning techniques. In: AI 2002: Advances in Artificial Intelligence. LNCS (LNAI), vol. 2257, pp. 60–70. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

16. Liu, C., Ozols, M.A., Cant, T.: An axiomatic basis for reasoning about trust in pKIs. In: Varadharajan, V., Mu, Y. (eds.) ACISP 2001. LNCS, vol. 2119, pp. 274–291. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

17. Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6(1-2), 85–128 (1998)

    Google Scholar 

18. Rangan, P.V.: An axiomatic basis of trust in distributed systems. In: Proceedings of the 1988 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 204–211 (1988)

    Google Scholar 

19. Syverson, P.F., van Oorschot, P.C.: On unifying some cryptographic protocol logics. In: Proceedings of the IEEE Society Symposium on Research in Security and Privacy, CA USA, pp. 234–248. IEEE Computer Society Press, Oakland (1994)

    Google Scholar 

20. Wooldridge, M.: Coherent social action. In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-1994), Amsterdam, The Netherlands, pp. 279–283 (1994)

    Google Scholar 

Download references