Towards a unified model for the analysis of timing-based covert channels | IEEE Conference Publication | IEEE Xplore