![]() | ![]() |
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] |