Formal Verification of an Intrusion-Tolerant Group Membership Protocol
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-12-01
著者
-
Sanders William
University Of Illinois
-
Ramasamy Harigovind
University Of Illinois
-
CUKIER Michel
University of Maryland
-
Cukier Michel
University Of Maryland College Park
関連論文
- Formal Verification of an Intrusion-Tolerant Group Membership Protocol(Verification and Dependability Analysis)(Dependable Computing)
- Formal Verification of an Intrusion-Tolerant Group Membership Protocol