Cyber Security Meets Big Knowledge: Towards a Secure HACE Theorem | IEEE Conference Publication | IEEE Xplore