Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/12/01 Vol. E86-DNo. 12 ;
pp. 2612-2622 Type of Manuscript: Special Section PAPER (Special Issue on Dependable Computing) Category: Verification and Dependability Analysis Keyword: intrusion tolerance, group communication systems, validation, formal methods,