Bibsonomy :: author  ::

bookmarks

publications

(79)

• Resilient Intrusion Tolerance through Proactive and Reactive Recovery.
  Paulo Sousa and Alysson Neves Bessani and Miguel Correia and Nuno Ferreira Neves and Paulo Veríssimo PRDC 373-380 (2007)
  to dblp by dblp on 2008-05-21 00:00:00
  | URL | BibTeX  
• On the Effects of Finite Memory on Intrusion-Tolerant Systems.
  Giuliana Santos Veronese and Miguel Correia and Lau Cheuk Lung and Paulo Veríssimo PRDC 401-404 (2007)
  to dblp by dblp on 2008-05-21 00:00:00
  | URL | BibTeX  
• Intrusion Tolerance in Wireless Environments: An Experimental Evaluation.
  Henrique Moniz and Nuno Ferreira Neves and Miguel Correia and Antonio Casimiro and Paulo Veríssimo PRDC 357-364 (2007)
  to dblp by dblp on 2008-05-21 00:00:00
  | URL | BibTeX  
• Travelling through wormholes: a new look at distributed systems models.
  Paulo Veríssimo SIGACT News 37 66-81 (2006)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Architecture and Implementation of an Embedded Wormhole.
  Hugo Ortiz and Antonio Casimiro and Paulo Veríssimo SIES 341-344 (2007)
  to dblp by dblp on 2007-12-07 00:00:00
  | URL | BibTeX  
• Automated Rule-Based Diagnosis through a Distributed Monitor System.
  Gunjan Khanna and Mike Yu Cheng and Padma Varadharajan and Saurabh Bagchi and Miguel P. Correia and Paulo Veríssimo IEEE Trans. Dependable Sec. Comput. 4 266-279 (2007)
  to dblp by dblp on 2007-11-08 00:00:00
  | URL | BibTeX  
• Intrusion-Tolerant Architectures: Concepts and Design.
  Paulo Veríssimo and Nuno Ferreira Neves and Miguel Correia WADS 3-36 (2002)
  to dblp by dblp on 2007-09-10 00:00:00
  | URL | BibTeX  
• Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.
  Antonio Casimiro and Jörg Kaiser and Paulo Veríssimo WADS 287-315 (2006)
  to dblp by dblp on 2007-09-10 00:00:00
  | URL | BibTeX  
• When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus.
  Alysson Neves Bessani and Miguel Correia and Henrique Moniz and Nuno Ferreira Neves and Paulo Veríssimo DISC 480-481 (2007)
  to dblp by dblp on 2007-09-07 00:00:00
  | URL | BibTeX  
• The Architecture of a Secure Group Communication System Based on Intrusion Tolerance.
  Miguel Correia and Paulo Veríssimo and Nuno Ferreira Neves ICDCS Workshops 17-24 (2001)
  to dblp by dblp on 2007-07-26 00:00:00
  | URL | BibTeX