Lu Ma

	2008
3		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		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		Lu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223

Coauthor Index

1	Vineela Devarashetty	[3]
2	Tadao Murata	[1]
3	Jeffrey J. P. Tsai	[1] [2] [3]
4	Du Zhang	[3]