Vulnerability Analysis as Trustworthiness Evidence in Security Benchmarking: A Case Study on Xen | IEEE Conference Publication | IEEE Xplore