Boxed Safe Ambients with Password and Application on the Internet | IEEE Conference Publication | IEEE Xplore