 |
Analysis of authentication protocols in agent-based systems using labeled tableaux |
Ma, Ji; Orgun, Mehmet A; Sattar, Abdul |
2009 |
|
|
 |
A Dynamic authentication scheme for hierarchical wireless sensor networks |
Zhang, Jun; Shankaran, Natarajan; Orgun, Mehmet A; Varadharajan, Vijayaraghavan; Sattar, Abdul |
2010 |
—
|
|
 |
A Dynamic trust establishment and management framework for wireless sensor networks |
Zhang, Junqi; Shankaran, Rajan; Orgun, Mehmet A; Varadharajan, Vijay; Sattar, Abdul |
2010 |
|
|
 |
The Interpreted system model of knowledge, belief, desire and intention |
Su, Kaile; Luo, Xiangyu; Sattar, Abdul; Orgun, Mehmet A |
2006 |
|
|
 |
Observation-based logic of knowledge, belief, desire and intention |
Su, Kaile; Yue, Weiya; Sattar, Abdul; Orgun, Mehmet A; Luo, Xiangyu |
2006 |
—
|
|
 |
Special issue on logics for intelligent agents and multi-agent systems |
Orgun, Mehmet A; Governatori, Guido; Liu, Chuchang; Reynolds, Mark; Sattar, Abdul |
2011 |
—
|
|
 |
Temporalised epistemic logic for reasoning about agent-based systems |
Ma, Ji; Orgun, Mehmet A; Sattar, Abdul; Adi, Kamel |
2009 |
|
|
 |
A Trust management architecture for hierarchical wireless sensor networks |
Zhang, Junqi; Shankaran, Rajan; Orgun, Mehmet A; Varadharajan, Vijay; Sattar, Abdul |
2010 |
—
|
|
List View
