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 | |
|---|---|---|---|---|---|
| Modal tableaux for verifying security protocols | Orgun, Mehmet A; Governatori, Guido; Liu, Chuchang | 2006 | 
|
|
|
| Representation and integration of knowledge based on multiple granularity of time using temporal logic | Orgun, Mehmet A; Liu, Chuchang; Nayak, Abhaya C | 2006 |
|
|
|
| Reasoning about dynamics of trust and agent beliefs | Orgun, Mehmet A; Liu, Chuchang | 2006 |
|
|
|
| Analysing stream authentication protocols in autonomous agent-based systems | Orgun, Mehmet A; Ma, Ji; Liu, Chuchang; Governatori, Guido | 2006 |
|
|
|
| Special issue on logics for intelligent agents and multi-agent systems | Orgun, Mehmet A; Governatori, Guido; Liu, Chuchang; Reynolds, Mark; Sattar, Abdul | 2011 | — | ||
| A Fibred belief logic for multi-agent systems | Liu, Chuchang; Ozols, Maris A; Orgun, Mehmet A | 2005 | — |
|
|
| Modal tableaux for verifying stream authentication protocols | Orgun, Mehmet A; Governatori, Guido; Liu, Chuchang | 2009 | — |
|
|
| Towards security labelling | Liu, Chuchang; Orgun, Mehmet A | 2006 | — |
|
Author/Creator
- Governatori, Guido (4)
- Ma, Ji (1)
- Nayak, Abhaya C (1)
- Ozols, Maris A (1)
- Reynolds, Mark (1)
- Sattar, Abdul (1)
Subject Keyword
Resource Type
- conference paper (6)
- journal article (2)
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J