Keyword : intrusion tolerance


Adaptation Policies for Web Server Intrusion-Tolerant System
Eul Gyu IM Hoh Peter IN Dae-Sik CHOI Yong Ho SONG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/08/01
Vol. E88-B  No. 8 ; pp. 3462-3465
Type of Manuscript:  LETTER
Category: Internet
Keyword: 
intrusion tolerancesurvivabilityweb servicesadaptationrequest or response filtering
 Summary | Full Text:PDF

Formal Verification of an Intrusion-Tolerant Group Membership Protocol
HariGovind V. RAMASAMY Michel CUKIER William H. SANDERS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/12/01
Vol. E86-D  No. 12 ; pp. 2612-2622
Type of Manuscript:  Special Section PAPER (Special Issue on Dependable Computing)
Category: Verification and Dependability Analysis
Keyword: 
intrusion tolerancegroup communication systemsvalidationformal methods
 Summary | Full Text:PDF