S-MARKS: A Middleware Secure by Design for the Pervasive Computing Environment | IEEE Conference Publication | IEEE Xplore