181
TÍTULO: Worm-IT - A wormhole-based intrusion-tolerant group communication system  Full Text
AUTORES: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
182
TÍTULO: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA
AUTORES: Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia ;
PUBLICAÇÃO: 2006, FONTE: 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006 in Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
183
TÍTULO: Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems
AUTORES: Alysson Neves Bessani ; Miguel Correia ; Joni D da Silva Fraga; Lau Cheuk Lung;
PUBLICAÇÃO: 2006, FONTE: 20th International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4167
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
184
TÍTULO: CRUTIAL: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTORES: Paulo Verissimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Critical Information Infrastructures Security in Critical Information Infrastructures Security, VOLUME: 4347
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
185
TÍTULO: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
186
TÍTULO: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTORES: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2006, FONTE: COMPUTER JOURNAL, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 71
NO MEU: ORCID | DBLP
187
TÍTULO: Randomized intrusion-tolerant asynchronous services
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
188
TÍTULO: Sharing memory between Byzantine processes using policy-enforced tuple spaces
AUTORES: Bessani, AN ; Correia, M ; Da Silva Fraga, J; Lung, LC;
PUBLICAÇÃO: 2006, FONTE: 26th IEEE Internationa26th IEEE International Conference on Distributed Computing Systems, ICDCS 2006 in Proceedings - International Conference on Distributed Computing Systems, VOLUME: 2006
INDEXADO EM: Scopus
NO MEU: ORCID
189
TÍTULO: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
AUTORES: Alysson Neves Bessani ; Joni da Silva Fraga; Miguel Correia ; Lau Cheuk Lung;
PUBLICAÇÃO: 2006, FONTE: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
190
TÍTULO: Using attack injection to discover new vulnerabilities
AUTORES: Nuno Neves ; Joao Antunes; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2006, FONTE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: ORCID | DBLP
Página 19 de 21. Total de resultados: 203.