Formal Verification of an Intrusion-Tolerant Group Membership Protocol
-
- RAMASAMY HariGovind V.
- University of Illinois
-
- CUKIER Michel
- University of Maryland, College Park
-
- SANDERS William H.
- University of Illinois
この論文をさがす
著者
-
- RAMASAMY HariGovind V.
- University of Illinois
-
- CUKIER Michel
- University of Maryland, College Park
-
- SANDERS William H.
- University of Illinois
収録刊行物
-
- IEICE transactions on information and systems
-
IEICE transactions on information and systems 86(12), 2612-2622, 2003-12-01
参考文献: 14件中 1-14件 を表示
-
1
- <no title>
-
BIRMAN K. P.
Building Secure and Reliable Network Applications, 1996
被引用文献2件
-
2
- Intrusion tolerance approaches in ITUA
-
CUKIER M.
Fast Abstract in Supplement of the 2001 International Conf. on Dependable Systems and Networks, B64-B65, 2001
被引用文献1件
-
3
- The SecureRing protocols for securing group communication
-
KIHLSTROM K. P.
Proc. 31st IEEE Hawaii Intl. Conference on System Sciences, 1998, 317-326, 1998
被引用文献1件
-
4
- The temporal logic of programs
-
PNUELI A.
Proc. 18th IEEE Symposium on Foundations of Computer Science (FOCS 1977), 46-57, 1977
被引用文献1件
-
5
- Reliable Delivery and Ordering Mechanisms for an Intrusion-Tolerant Group Communication System
-
PANDEY P.
MS Thesis, University of Illinois at Urbana-Champaign, 2001
被引用文献1件
-
6
- Group Membership Protocol for an Intrusion-Tolerant Group Communication System
-
RAMASAMY H. V.
MS Thesis, Univ. of Illinois at Urbana-Champaign, 2002
被引用文献1件
-
7
- Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
-
RAMASAMY H. V.
Proc. 2002 Pacific Rim International Symposium on Dependable Computing (PRDC-2002), 9-18, 2002
被引用文献1件
-
8
- Quantifying the cost of providing intrusion tolerance in group communication systems
-
RAMASAMY H. V.
Proc. 2002 International Conf. on Dependable Systems and Networks (DSN-2002), 229-238, 2002
被引用文献1件
-
9
- A secure group membership protocol
-
REITER M. K.
Proc. IEEE Symposium on Research in Security and Privacy, 1994, 176-189, 1994
被引用文献1件
-
10
- Towards Effective Model Checking
-
RUYS T. C.
PhD Thesis, University of Twente, Enschede, The Netherlands, 2001
被引用文献1件
-
11
- The timed asynchronous distributed system model
-
FETZER C.
IEEE Trans. Parallel Distrib. Syst. 10(6), 642-657, 1999
DOI 被引用文献2件
-
12
- Impossibility of Distributed Consensus with One Faulty Process
-
FISCHER M.
ACM TOCS 32(2), 374-382, 1985
DOI 被引用文献41件
-
13
- The Model Checker SPIN
-
HOLZMANN G. J.
IEEE Transactions on Software Engineering 23(5), 279-295, 1997
DOI 被引用文献75件
-
14
- Implementing Fault-tolerant Services using the State Machine Approach : A Tutorial
-
SCHNEIDER F.
ACM Computing Surveys 22(4), 290-319, 1990
DOI 被引用文献4件