1. On BAN logic and hash functions or: how an unjustified inference rule causes problems;Autonomous Agents and Multi-Agent Systems;2008-09-17
2. Trust management and trust theory revision;IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans;2006-05
3. Automation-Considered Logic of Authentication and Key Distribution;Information Security Applications;2004
4. SVO Logic Based Formalisms of GSI Protocols;Parallel and Distributed Computing: Applications and Technologies;2004
5. A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems;Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making;2004