Calculus of Safe Boxed Ambients with Password

Calculus of safe boxed ambients with password(SBAP)improves the existing calculus of the mobile ambient.It avoids the interference from open operation in the calculus of the mobile ambient,strengthens the control capability of the ambient boundary,and carries out the reclamation of the ambient.This paper gives the syntactic and semantic definition of SBAP,uses SBAP to rewrite the matching operator of Pi-calculus,and describes and emulates the E-mail system.