Verifiable and secure SVM classification for cloud-based health monitoring services