Secure access control in a TINA environment containing mobile agents | IEEE Conference Publication | IEEE Xplore