A Lightweight Trusted Architecture and Service Mechanisms based on SylixOS | IEEE Conference Publication | IEEE Xplore