Macquarie University, Sydney Macquarie University ResearchOnline

Ma, Ji

Statistics
Title Hits Visitors Downloads
Formalising theories of trust for authentication protocols 62 88 0
Analysing agent beliefs for authentication systems 36 29 2
Specifying agent beliefs for authentication systems 240 305 83
Tableaux-based Proof Techniques for Verifying Multi-Agent Systems 47 47 0
Analytic tableaux for verifying agent beliefs 50 34 0
An Analytic tableau calculus for a temporalised belief logic 199 152 0
Trust management and trust theory revision 108 597 438
Theories of trust for communication protocols 6 6 0
Temporalised epistemic logic for reasoning about agent-based systems 86 128 15
Dynamic Theories of Trust for Secure Agent-Based Systems 9 9 0
Analysis of authentication protocols in agent-based systems using labeled tableaux 259 290 38
Managing theories of trust in agent based systems 8 8 0
Analysing stream authentication protocols in autonomous agent-based systems 96 112 48
Repository Search URL

Ma, Ji

Formatted Bibliography URL

Ma, Ji

Bibliography Script

To include a live feed of this author's bibliography on a static Web page (e.g., a personal home page), add the following JavaScript include to the body of the HTML.