Reducing the characterization of systems security to characterizing the equivalence of certain processes

taking the mobility of systems into consideration

we propose a uniform framework of mobile systems security model

which is described in the setting of -Calculus.In this framework

various noninterference security properties can be easily rephrased and evaluated

and nwe security properties can also be defined for different system requirements. Moreover

constructing a new platform for security properties analysis

this framework can be used extensively in the security analysis of mobile distributed systems

e.g.

global computing system

metacomputmg system.