Macquarie University, Sydney Macquarie University ResearchOnline

Ma, Ji

Statistics
Title Hits Visitors Downloads
Temporalised epistemic logic for reasoning about agent-based systems 50 47 0
Analysing agent beliefs for authentication systems 15 11 0
Analysis of authentication protocols in agent-based systems using labeled tableaux 77 63 8
Specifying agent beliefs for authentication systems 17 17 0
Analysing stream authentication protocols in autonomous agent-based systems 40 37 0
Formalising theories of trust for authentication protocols 33 33 0
Trust management and trust theory revision 171 126 15
Analytic tableaux for verifying agent beliefs 3 3 0
An Analytic tableau calculus for a temporalised belief logic 70 66 0
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.