论文部分内容阅读
An extended πcalculus was introduced to deal with secure movement and intercommunication between agents.The system extends Nomadic-πwith objective migration primitive and confined region which serves as annotation labels of agents and channels.the confined region labels were used to uniquely identify the constraints on the migration and communication of agents,with the labels,the agents could be confined in a secure subsystem the migration and communication of agents,with the labels,the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation.The operational semantics for the calculus was given out ,and a type system which enforces security properties called confined migration and confined communication was developed.