Quorum systems for intrusion-tolerance based on trusted timely computing base | BIAI Journals & Magazine | IEEE Xplore