dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Riccardo Focardi (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi: Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. FMSE 2007: 51-60
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi: Information Leakage Detection in Boundary Ambients. Electr. Notes Theor. Comput. Sci. 78: 123-143 (2003)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi: Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Riccardo Focardi: Computer languages and security. Comput. Lang. 28(1): 1-2 (2002)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Braghin, Agostino Cortesi, Riccardo Focardi: Security boundaries in mobile ambients. Comput. Lang. 28(1): 101-127 (2002)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Riccardo Focardi: Information Flow Security in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 54: 58-68 (2001)

Selection of 12 from 85 records - Riccardo Focardi has 46 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page