Abstract
Mobile agent technology has received a large amount of attention throughout recent years because of its salient merits and promising future. But it also brings significant new security problems. Little work has been done to solve these problems through intuitive formal methods. In this paper, we proposed a new formal model of a secure mobile agent system based on an extended elementary object system (EEOS) which combines object oriented technology with Petri nets. This model has three hierarchical levels: mobile agent platform level, mobile agent level and security mechanism level. We also proposed a security mechanism - synchronous firing security mechanism to detect malicious host attacks on mobile agent code or execution flow. This paper also discusses how to translate our EEOS model to a coloured Petri Net model supported by Design/CPN and presents the simulation-based analysis of our EEOS model
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
