Boxed Safe Ambients with Password and Simulation of E-Mail System

Abstract

This page puts forward boxed safe ambients with password (BSAP), which can solve the side effect from open operation and strengthen the control capability of its own boundary in mobile ambients (MA). Compared to MA, BSAP has the following advantages: 1) cancels open operation in MA and adds the communication operation primitive between ambients and sub-ambients; 2) adds in, out operation and adds password to in, out operations; 3) adds the del operation for ambient reclamation. In the end of this page, the authors use BSAP to describe and simulate the e-mail system; it shows that BSAP has a powerful modeling and simulating capability in the area of network computing.