Green Security Plugin for Pervasive Computing Using the HADAS Toolkit | IEEE Conference Publication | IEEE Xplore