A Verification Service Architecture for the Future Internet | IEEE Conference Publication | IEEE Xplore