Towards a Model for Broadcasting Secure Mobile Processes | IEEE Conference Publication | IEEE Xplore