Title: New on-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures