An Omnipresent Formal Trust Model (FTM) for Pervasive Computing Environment | IEEE Conference Publication | IEEE Xplore