| |
| 2008 | ||
|---|---|---|
| 3 | EE | Vineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang: Modeling a secure sensor network system using an Extended Elementary Object System. IEEE ICCI 2008: 67-74 |
| 2 | EE | Lu Ma, Jeffrey J. P. Tsai: Formal Modeling and Analysis of a Secure Mobile-Agent System. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 180-196 (2008) |
| 2004 | ||
| 1 | EE | Lu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223 |
| 1 | Vineela Devarashetty | [3] |
| 2 | Tadao Murata | [1] |
| 3 | Jeffrey J. P. Tsai | [1] [2] [3] |
| 4 | Du Zhang | [3] |