A Security-by-Contract Architecture for Pervasive Services | IEEE Conference Publication | IEEE Xplore