A. Sousa, Alfrânio Correia Jr., Francisco Moura, José Pereira, Rui Carlos Oliveira. Evaluating Certification Protocols in the Partial Database State Machine. In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria. pages 855-863, IEEE Computer Society, 2006. [doi]
Abstract is missing.