Sousa AL, Correia A, Moura F, Pereira JO, Oliveira R.? 2006.??Evaluating certification protocols in the partial database state machine. Proceedings of 1st International Conference on Availability, Reliability and Security (ARES).