In order to control the grave interference in mobile ambient (MA), Levi et al. proposed mobile safe ambients (SA).

• 为了消除移动灰箱演算中的强干扰问题；levi等人提出了安全灰箱演算.