Search

Your search keyword '"Costa, Gabriele"' showing total 10 results
Start Over Author "Costa, Gabriele" Publisher springer international publishing
10 results on '"Costa, Gabriele"'

1. Letter to the Sender: a Method Proposal in Clinic of Activity

Author

de Oliveira, Louanne Carneiro, Pinheiro, Francisco Pablo Huascar Aragão, da Rocha Falcão, Jorge Tarcísio, de Fátima Rodrigues Colaço, Veriana, de Aquino, Cássio Adriano Braz, da Silva, Nayana Rios Nunes, Melo, Quitéria Alves, de Melo, Lorena Aélio, Pedrosa, Victória Maria Freitas, and Costa, Gabriele Sousa

Published
2024
Full Text
View/download PDF

2. MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols

Author

Sinigaglia, Federico, Carbone, Roberto, Costa, Gabriele, Ranise, Silvio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Saracino, Andrea, editor, and Mori, Paolo, editor

Published
2020
Full Text
View/download PDF

3. From Natural Projection to Partial Model Checking and Back

Author

Costa, Gabriele, Basin, David, Bodei, Chiara, Degano, Pierpaolo, Galletta, Letterio, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Beyer, Dirk, editor, and Huisman, Marieke, editor

Published
2018
Full Text
View/download PDF

4. PolEnA: Enforcing Fine-grained Permission Policies in Android

Author

Costa, Gabriele, Sinigaglia, Federico, Carbone, Roberto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2017
Full Text
View/download PDF

5. Securing Android with Local Policies

Author

Costa, Gabriele, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bodei, Chiara, editor, Ferrari, Gianluigi, editor, and Priami, Corrado, editor

Published
2015
Full Text
View/download PDF

6. Project “Biodiversity MARE Tricase”: biodiversity research, monitoring and promotion at MARE Outpost (Apulia, Italy)

Author

Micaroni, Valerio, Strano, Francesca, Di Franco, Davide, Langeneck, Joachim, Gravili, Cinzia, Bertolino, Marco, Costa, Gabriele, Rindi, Fabio, Froglia, Carlo, Crocetta, Fabio, Giangrande, Adriana, Nicoletti, Luisa, Medagli, Pietro, Zuccarello, Vincenzo, Arzeni, Stefano, Bo, Marzia, Betti, Federico, Mastrototaro, Francesco, Lattanzi, Loretta, Piraino, Stefano, and Boero, Ferdinando

Published
2018
Full Text
View/download PDF

7. Multi-dimensional Secure Service Orchestration

Author

Costa, Gabriele, Martinelli, Fabio, Yautsiukhin, Artsiom, van der Aalst, Wil, Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Lohmann, Niels, editor, Song, Minseok, editor, and Wohed, Petia, editor

Published
2014
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results