Secure and Highly-Available Output Management for the Healthcare Industry