MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Intrusion-Tolerant Enclaves." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Intrusion-Tolerant Enclaves
by Bruno Dutertre, Valentin Crettaz, Victoria Stavridou, Bruno Dutertre Valentin Crettaz — 2002 — In Proceedings of the IEEE International Symposium on Security and Privacy
…Intrusion-Tolerant Enclaves To be presented at the IEEE Conference on Security and Privacy…
Cited by 11 (0 self) – Add To MetaCart

Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol
by Mohamed Layouni, Jozef Hooman, Sofiène Tahar — 2003 — International Journal of Network Security
… Specification and Verification of the Intrusion-Tolerant Enclaves Protocol Mohamed Layouni 1 , Jozef Hooman 2…
Cited by 1 (0 self) – Add To MetaCart

Intrusion-Tolerant Group Management in Enclaves
by Bruno Dutertre, Hassen Saïdi, Victoria Stavridou — 2001 — In International Conference on Dependable Systems and Networks (DSN’01
…Intrusion-Tolerant Group Management in Enclaves DSN'01, G oteborg, Sweden, July 2001 Bruno…
Cited by 9 (1 self) – Add To MetaCart

On the Correctness of an Intrusion-Tolerant Group Communication Protocol
by Mohamed Layouni, Jozef Hooman, Sofiene Tahar — 2003
… correctness proof of the Intrusion-tolerant Enclaves protocol [1] via an adaptive combination of techniques…
Cited by 2 (0 self) – Add To MetaCart

Theorem Proving in Higher Order Logics
by David Basin, Burkhart Wolff (eds.), Eth Zentrum, Burkhart Wolff, Universität Freiburg — 2003
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 Michael Hohmuth and Hendrik Tews Modeling and Verification of Leaders Agreement in the Intrusion-Tolerant…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB