Cite
Formal Modeling and Analysis of a Secure Mobile-Agent System.
MLA
Lu Ma, and Jeffrey J. P. Tsai. “Formal Modeling and Analysis of a Secure Mobile-Agent System.” IEEE Transactions on Systems, Man & Cybernetics: Part A, vol. 38, no. 1, Jan. 2008, pp. 180–96. EBSCOhost, https://doi.org/10.1109/TSMCA.2007.909552.
APA
Lu Ma, & Tsai, J. J. P. (2008). Formal Modeling and Analysis of a Secure Mobile-Agent System. IEEE Transactions on Systems, Man & Cybernetics: Part A, 38(1), 180–196. https://doi.org/10.1109/TSMCA.2007.909552
Chicago
Lu Ma, and Jeffrey J. P. Tsai. 2008. “Formal Modeling and Analysis of a Secure Mobile-Agent System.” IEEE Transactions on Systems, Man & Cybernetics: Part A 38 (1): 180–96. doi:10.1109/TSMCA.2007.909552.