Formal modeling and analysis of a secure mobile-agent system

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 38, Issue 1, 2008, Pages 180-196

  Ma, Lu ^a   Tsai, Jeffrey J P ^b  

^a TERADATA CORPORATION   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Extended elementary object system (EEOS); Formal method; Mobile agent; Petri nets; Security

Indexed keywords

CHANNEL CAPACITY; CODES (SYMBOLS); FORMAL LOGIC; FORMAL METHODS; GRAPH THEORY; MARINE BIOLOGY; MOBILE AGENTS; MODEL STRUCTURES; PETRI NETS; THEOREM PROVING;

AGENT EXECUTIONS; AGENT SECURITIES; AGENT SYSTEMS; AGENT TECHNOLOGIES; ANALYSIS METHODS; BOUNDEDNESS; CODE SECURITIES; COLORED PETRI NET (CPN); DETECTION MECHANISMS; DISTRIBUTED COMPUTING; ELEMENTARY OBJECT SYSTEMS; EXECUTION FLOWS; EXTENDED ELEMENTARY OBJECT SYSTEM (EEOS); FORMAL APPROACHES; FORMAL MODELS; HOSTING; LIVENESS; MOBILITY MODELS; MODELING; MODELING AND ANALYSIS; MUTUAL AUTHENTICATIONS; OBJECT-ORIENTED; REAL PROBLEMS; SECURITY; SECURITY CONSIDERATIONS; SECURITY MEASURES; SECURITY MECHANISMS; SECURITY PROBLEMS; SERVER SYSTEMS;

MODAL ANALYSIS;

EID: 54949092856     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2007.909552     Document Type: Article

References (17)

1. K. Rothermel, F. Hohl, and N. Radouniklis, "Mobile agent systems: What is missing?" in Proc. Int. Working Conf. DAIS, Sep. 30, 1997, pp. 111-124.
2. D. Chess, C. Harrison, A. Kershenbaum, "Mobile agents: Are they a good idea?" in Proc. 2nd Int. Workshop Mobile Object Syst., 1996, pp. 25-47.
3. W. M. Farmer, J. D. Guttmann, and V. Swarup, "Security for mobile agents: Issues and requirements," in Proc. 19th Nat. Inf. Syst. Security Conf., 1996, vol. 2, pp. 591-597.
4. G. Vigna, "Protecting mobile agents through tracing," in Proc. 3rd Workshop Mobile Object Syst., 1997, pp. 137-153.
5. H. K. Tan and L. Moreau, "Trust relationships in a mobile agent system," in Proc. 5th Int. Conf. Mobile Agents, 2001, vol. 2240, pp. 15-30.
6. F. Hohl, "A model of attacks of malicious hosts against mobile agents," in Proc. ECOOP Workshop Distrib. Object Security, 4th Workshop Mobile Object Syst.: Secure Internet Mobile Comput., 1998, pp. 105-120.
7. T. Sander and C. F. Tschudin, "Towards mobile cryptography," in Proc. IEEE Symp. Security Privacy, May 1998, pp. 215-224.
8. P. Kotzanikolaou, M. Burmester, and V. Chrissikopoulos, "Secure transactions with mobile agents in hostile environments," in Proc. 5th Australasian Conf. Inf. Security Privacy, 2000, vol. 1841, pp. 289-297.
9. J. Vitek and G. Castagna, "Seal: A framework for secure mobile computations," in Proc. Internet Program. Lang., 1999, vol. 1686, pp. 47-77.
10. A.M. Uhrmacher, P. Tyschler, and D. Tyschler, "Modeling and simulation of mobile agents," Future Gener. Comput. Syst., vol. 17, no. 2, pp. 107-118, Oct. 2000.
11. S.-H. Kim and T. G. Robertazzi, "Mobile agent modeling," Univ. Stony Brook, College Eng. Appl. Sci., Stony Brook, NY, Tech. Rep. 786, Nov. 2000.
12. M. Köhler and H. Rölke, "Modelling mobility and mobile agents using nets within nets," in Proc. 2nd Int. Workshop MOCA, 2002, pp. 141-157.
13. D. Xu and Y. Deng, "Modeling mobile agent systems with high level Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Oct. 2000, pp. 3177-3182.
14. D. Xu, J. Yin, Y. Deng, and J. Ding, "A formal architectural model for logical agent mobility," IEEE Trans. Softw. Eng., vol. 29, no. 1, pp. 31-45, Jan. 2003.
15. R. Valk, "Petri Nets as token objects - An introduction to elementary object nets," in Proc. 19th Int. Conf. Appl. Theory Petri Nets, 1998, vol. 1420, pp. 1-25.
16. L. Ma, J. J. P. Tsaa, Y. Deng, and T. Murata, "Extended elementary object system model for mobile agent security," in Proc. World Congr. Integr. Des. and Process Technol., 2003, pp. 169-178.
17. L. Ma, J. J. P. Tsai, and T. Murata, "Secure mobile agent system model based on extended elementary object net," in Proc. 25th IEEE Int. Comput. Softw. Appl. Conf., 2004, pp. 218-223.