Macquarie University ResearchOnline
List View
Showing items 1 - 8 of 8.
Add to Quick Collection All 8 Results
| Title | Author/Creator | Date | Full Text | Reviewed | |
|---|---|---|---|---|---|
| An Analytic tableau calculus for a temporalised belief logic | Ma, Ji; Orgun, Mehmet A; Adi, Kamel | 2011 | — | 
|
|
| Analysis of authentication protocols in agent-based systems using labeled tableaux | Ma, Ji; Orgun, Mehmet A; Sattar, Abdul | 2009 |
|
|
|
| Temporalised epistemic logic for reasoning about agent-based systems | Ma, Ji; Orgun, Mehmet A; Sattar, Abdul; Adi, Kamel | 2009 |
|
|
|
| Formalising theories of trust for authentication protocols | Ma, Ji; Orgun, Mehmet A | 2008 | — |
|
|
| Specifying agent beliefs for authentication systems | Ma, Ji; Orgun, Mehmet A | 2007 |
|
|
|
| Analysing agent beliefs for authentication systems | Ma, Ji; Orgun, Mehmet A | 2006 | — | ||
| Analysing stream authentication protocols in autonomous agent-based systems | Orgun, Mehmet A; Ma, Ji; Liu, Chuchang; Governatori, Guido | 2006 |
|
|
|
| Trust management and trust theory revision | Ma, Ji; Orgun, Mehmet A | 2006 |
|
|
Author/Creator
- Adi, Kamel (2)
- Sattar, Abdul (2)
- Governatori, Guido (1)
- Liu, Chuchang (1)
Subject Keyword
Resource Type
- journal article (4)
- conference paper (3)
- conference paper abstract (1)
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J