Pesquisar


Filtros correntes:

Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.


Resultados 1-10 de 20.
Registos:
DataTítuloAutor(es)TipoAcesso
Dez-2001The Design of a COTS Real-Time Distributed Security Kernel (Extended Version)Correia, Miguel; Veríssimo, Paulo; Neves, Nuno FerreirareportopenAccess
Jan-2008Experimental Validation of Architectural SolutionsDonatelli, Susanna; Alata, Eric; Antunes, João; Kaâniche, Mohamed; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Nov-2004Intrusion-Tolerant Middleware: the MAFTIA approachVeríssimo, Paulo; Neves, Nuno Ferreira; Cachin, C.; Poritz, J. A.; Powell, David; Deswarte, Y.; Stroud, Robert J.; Welch, I. S.reportopenAccess
Ago-2003Low Complexity Byzantine-Resilient ConsensusCorreia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Abr-2003Intrusion-Tolerant Architectures: Concepts and DesignVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Jul-2004How to Tolerate Half Less One Byzantine Nodes in Practical Distributed SystemCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Set-2006On the Resilience of Intrusion-Tolerant Distributed SystemsNeves, Nuno Ferreira; Veríssimo, Paulo; Sousa, Paulo; Lopes, AntóniareportopenAccess
Set-2001First Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Dez-2005Improving Byzantine Protocols with Secure Computational ComponentsCorreia, Miguel; Bessani, Alysson Neves; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Set-2000The Middleware Architecture of MAFTIA: A BlueprintVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess