Bisimulations in the Boxed Safe Ambients with Password | IEEE Conference Publication | IEEE Xplore