Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



101
TITLE: Assumptions: The Trojan horses of secure protocols
AUTHORS: Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 4th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security in Computer Network Security, Proceedings, VOLUME: 1
INDEXED IN: Scopus WOS
IN MY: ORCID
102
TITLE: Automated rule-based diagnosis through a distributed monitor system  Full Text
AUTHORS: Gunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel P Correia ; Paulo J Verissimo ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | DBLP
103
TITLE: Generic-events architecture: Integrating real-world aspects in event-based systems  Full Text
AUTHORS: Antonio Casimiro ; Joerg Kaiser; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: Workshop on Architecting Dependable Systems/International Conference on Dependable Systems and Network in Architecting Dependable Systems IV, VOLUME: 4615
INDEXED IN: Scopus WOS
IN MY: ORCID
104
TITLE: Intrusion tolerance in wireless environments: an experimental evaluation
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Antonio Casimiro ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: WOS DBLP CrossRef: 3
IN MY: DBLP
105
TITLE: Intrusion tolerance in wireless environments: An experimental evaluation
AUTHORS: Moniz, H; Neves, NF ; Correia, M ; Casimiro, A; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: Scopus
IN MY: ORCID
106
TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: DBLP
107
TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lung, LC; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: Scopus
IN MY: ORCID
108
TITLE: Resilient intrusion tolerance through proactive and reactive recovery
AUTHORS: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXED IN: Scopus
IN MY: ORCID
109
TITLE: Resilient intrusion tolerance through proactive and reactive recovery
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: WOS DBLP CrossRef: 36
IN MY: DBLP
110
TITLE: The CRUTIAL Architecture for Critical Information Infrastructures
AUTHORS: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone;
PUBLISHED: 2007, SOURCE: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], VOLUME: 5135
INDEXED IN: DBLP CrossRef: 14
IN MY: DBLP
Page 11 of 22. Total results: 216.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service