Security is a very important concept in the growth and the development of the mobile agent technology. However, in most of researches, security properties are envisaged in the implementation phase. Nevertheless, the integration of security properties in all phases of software development can provide more secure mobile agents based systems. In this paper we are interested to model the security properties in order to protect stationary agents during their communications with visitor mobile agents.