M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Initial Roadmap on Middleware For Composable and Dynamically.. - Midas (2003) (Correct)
....Building blocks that strengthen the infrastructure and support consistent coordinated activity were introduced both in the form of foundational abstractions and in practice. These include realizations of real time guarantees such as the TTCB (Trusted Timely Computing Base) of the EU MAFTIA project [CVN02]; Implementations of semi accurate failure detectors [AT00] Abstractions of a system tiers from which processes can leverage agreement, such as [BMT02, PSOC02] and shared data objects that provide safety decision making among arbitrary clients [CM02, Mal02] Performance enhancing mechanisms and ....
M. Correia, P. Verssimo, Nuno F. Neves. The Design of a COTS Real-Time Distributed Security Kernel. In `Proceedings of the Fourth European Dependable Computing Conference'. Toulouse, France, October 2002.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung.. (2003) (1 citation) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung.. (2003) (1 citation) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel (extended version). DI/FCUL TR 01--12, Department of Computer Science, University of Lisbon, 2001.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (1 citation) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Byzantine-Resistant Consensus based on a Novel.. - Correia, Neves.. Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, Oct. 2002.
Wormhole-Aware Byzantine Protocols - Neves, Correia, Verissimo Self-citation (Correia Neves) (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (1 citation) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (1 citation) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel (extended version). DI/FCUL TR 01--12, Department of Computer Science, University of Lisbon, 2001.
How to Tolerate Half Less One Byzantine Nodes in.. - Correia, Neves.. (2004) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
How to Tolerate Half Less One Byzantine Nodes in.. - Correia, Neves.. (2004) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel (extended version). DI/FCUL TR 01--12, Department of Computer Science, University of Lisbon, 2001.
How to Tolerate Half Less One Byzantine Nodes in.. - Correia, Neves.. (2004) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings pages 234--252, Oct. 2002.
How to Tolerate Half Less One Byzantine Nodes in.. - Correia, Neves.. (2004) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel (extended version) . DI/FCUL TR 01--12, Department of Computer Science, University of Lisbon, 2001.
Wormhole-Aware Byzantine Protocols - Neves, Correia, Verissimo Self-citation (Correia Neves) (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Low Complexity Byzantine-Resilient Consensus - Correia, Neves, Lung, Verissimo (2003) (1 citation) Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Byzantine-Resistant Consensus based on a Novel.. - Correia, Neves.. Self-citation (Correia Ssimo Neves) (Correct)
No context found.
M. Correia, P. Ver ssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, Oct. 2002.
Uncertainty and Predictability: Can they be reconciled? - Verissimo Self-citation (Ver) (Correct)
No context found.
10 Correia, M., Verssimo, P., Neves, N.F.: The design of a COTS real-time distributed security kernel. In: Proc. of the Fourth European Dependable Computing Conference, Toulouse, France (2002)
Intrusion-Tolerant Architectures: Concepts and Design - Veríssimo, Neves.. Self-citation (Correia Verssimo Neves) (Correct)
....intrusions varies from component to component. Some parts of the system would justifiably exhibit failcontrolled behaviour, whilst the remainder of the system would still be allowed an arbitrary behaviour. This might best be described as architectural hybridisation, in the line of works such as [28, 34, 13], where failure assumptions are in fact enforced by the architecture and the construction of the system components, and thus substantiated. That is (see Section 3) the component is made trustworthy enough to match the trust implied by the fail controlled assumptions. The task of the architect is ....
.... controlled failure modes and can thus supply timed services in a secure way; ii) the latter assist the system in fulfilling timeliness specifications; iii) controlled failure of those specifications is admitted, but timing failure detection can be achieved with the help of trusted components[13]. 7 Architecting intrusion tolerant systems In this section, we discuss a few notions on architecting intrusion tolerant systems. 7.1 (Almost) no assumptions The fail uncontrolled or arbitrary failure approach to IT architecture is based on assuming as little as possible about the environment s ....
[Article contains additional citation context not shown here]
Correia, M., Verssimo, P., Neves, N.F.: The design of a COTS real-time distributed security kernel. In: Proceedings of the Fourth European Dependable Computing Conference. (2002) 234--252
Intrusion-Tolerant Architectures: Concepts and Design - Veríssimo, Neves.. Self-citation (Correia Neves) (Correct)
....intrusions varies from component to component. Some parts of the system would justifiably exhibit failcontrolled behaviour, whilst the remainder of the system would still be allowed an arbitrary behaviour. This might best be described as architectural hybridisation, in the line of works such as [31, 38, 13], where failure assumptions are in fact enforced by the architecture and the construction of the system components, and thus substantiated. That is (see Section 3) the component is made trustworthy enough to match the trust implied by the fail controlled assumptions. The task of the architect is ....
.... controlled failure modes and can thus supply timed services in a secure way; ii) the latter assist the system in fulfilling timeliness specifications; iii) controlled failure of those specifications is admitted, but timing failure detection can be achieved with the help of trusted components[13]. 7 Architecting intrusion tolerant systems In this section, we discuss a few notions on architecting intrusion tolerant systems. 7.1 (Almost) no assumptions The fail uncontrolled or arbitrary failure approach to IT architecture is based on assuming as little as possible about the environment s ....
[Article contains additional citation context not shown here]
Correia, M., Ver/ssimo, P., Neves, N.F.: The design of a COTS real-time distributed security kernel. In: Proceedings of the Fourth European Dependable Computing Conference. (2002) 234-252
A Wormhole-based Intrusion-Tolerant Group - Communication System Wit-Gcs (2003) (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Modern Security with Traditional Distributed Algorithms - Avoine, Gärtner.. (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proc. of the Fourth European Dependable Computing Conference, Toulouse, France, Oct. 2002.
Reducing Fair Exchange to Atomic Commit - Avoine, Gärtner, Guerraoui.. (2004) (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proc. of the Fourth European Dependable Computing Conference, Toulouse, France, Oct. 2002.
Reducing Fair Exchange to Atomic Commit - Avoine, Gärtner, Guerraoui.. (2004) (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proc. of the Fourth European Dependable Computing Conference, Toulouse, France, Oct. 2002.
A Wormhole-based Intrusion-Tolerant Group.. - Correia, Neves.. (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proceedings of the Fourth European Dependable Computing Conference, pages 234--252, October 2002.
Reducing Fair Exchange to Atomic Commit - Avoine, Gärtner, Guerraoui.. (2004) (Correct)
No context found.
M. Correia, P. Verssimo, and N. F. Neves. The design of a COTS real-time distributed security kernel. In Proc. of the Fourth European Dependable Computing Conference, Toulouse, France, Oct. 2002.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC