Sfoglia per Autore
Jalapa: Securing Java with Local Policies
2009-01-01 M., Bartoletti; Costa, Gabriele; R., Zunino
Securing Java with Local Policies
2009-01-01 M., Bartoletti; Costa, Gabriele; P., Degano; F., Martinelli; R., Zunino
Detection of images with adult content for parental control on mobile devices
2009-01-01 G., Amato; P., Bolettieri; Costa, Gabriele; F., la Torre; F., Martinelli
Modular Plans for Secure Service Composition
2010-01-01 Costa, Gabriele; P., Degano; F., Martinelli
Runtime monitoring for next generation Java ME platform
2010-01-01 Costa, Gabriele; F., Martinelli; P., Mori; C., Schaefer; T., Walter
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
2010-01-01 Costa, Gabriele; N., Dragoni; A., Lazouski; F., Martinelli; F., Massacci; I., Matteucci
Trust-Driven Policy Enforcement through Gate Automata
2011-01-01 Costa, Gabriele; I., Matteucci
Elective temporal logic
2011-01-01 Costa, Gabriele; I., Matteucci
Modular plans for secure service composition
2012-01-01 Costa, Gabriele; P., Degano; F., Martinelli
Gate automata-driven run-time enforcement
2012-01-01 Costa, Gabriele; I., Matteucci
Securing the “bring your own device” policy
2012-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Trustworthy Opportunistic Access to the Internet of Services
2013-01-01 Armando, Alessandro; Aniello, Castiglione; Costa, Gabriele; Ugo, Fiore; Merlo, Alessio; Verderame, Luca; Ilsun, You
Lazy Security Controllers
2013-01-01 G., Caravagna; Costa, Gabriele; G., Pardini
Bring your own device, securely
2013-01-01 Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio
Market-based security for mobile devices
2013-01-01 Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
Mobile App Security Analysis with the MAVeriC Static Analysis Module
2014-01-01 Armando, Alessandro; G., Bocci; G., Chiarelli; Costa, Gabriele; G., De Maglie; R., Mammoliti; Merlo, Alessio
Multi-dimensional Secure Service Orchestration
2014-01-01 Costa, Gabriele; F., Martinelli; A., Yautsiukhin
Enabling BYOD through secure meta-market
2014-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Securing the ``Bring Your Own Device'' Paradigm
2014-01-01 Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Jalapa: Securing Java with Local Policies | 1-gen-2009 | M., Bartoletti; Costa, Gabriele; R., Zunino | |
Securing Java with Local Policies | 1-gen-2009 | M., Bartoletti; Costa, Gabriele; P., Degano; F., Martinelli; R., Zunino | |
Detection of images with adult content for parental control on mobile devices | 1-gen-2009 | G., Amato; P., Bolettieri; Costa, Gabriele; F., la Torre; F., Martinelli | |
Modular Plans for Secure Service Composition | 1-gen-2010 | Costa, Gabriele; P., Degano; F., Martinelli | |
Runtime monitoring for next generation Java ME platform | 1-gen-2010 | Costa, Gabriele; F., Martinelli; P., Mori; C., Schaefer; T., Walter | |
Extending Security-by-Contract with Quantitative Trust on Mobile Devices | 1-gen-2010 | Costa, Gabriele; N., Dragoni; A., Lazouski; F., Martinelli; F., Massacci; I., Matteucci | |
Trust-Driven Policy Enforcement through Gate Automata | 1-gen-2011 | Costa, Gabriele; I., Matteucci | |
Elective temporal logic | 1-gen-2011 | Costa, Gabriele; I., Matteucci | |
Modular plans for secure service composition | 1-gen-2012 | Costa, Gabriele; P., Degano; F., Martinelli | |
Gate automata-driven run-time enforcement | 1-gen-2012 | Costa, Gabriele; I., Matteucci | |
Securing the “bring your own device” policy | 1-gen-2012 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca | |
Trustworthy Opportunistic Access to the Internet of Services | 1-gen-2013 | Armando, Alessandro; Aniello, Castiglione; Costa, Gabriele; Ugo, Fiore; Merlo, Alessio; Verderame, Luca; Ilsun, You | |
Lazy Security Controllers | 1-gen-2013 | G., Caravagna; Costa, Gabriele; G., Pardini | |
Bring your own device, securely | 1-gen-2013 | Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio | |
Market-based security for mobile devices | 1-gen-2013 | Costa, Gabriele; Merlo, Alessio; Verderame, Luca | |
Formal Modeling and Reasoning about the Android Security Framework | 1-gen-2013 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio | |
Mobile App Security Analysis with the MAVeriC Static Analysis Module | 1-gen-2014 | Armando, Alessandro; G., Bocci; G., Chiarelli; Costa, Gabriele; G., De Maglie; R., Mammoliti; Merlo, Alessio | |
Multi-dimensional Secure Service Orchestration | 1-gen-2014 | Costa, Gabriele; F., Martinelli; A., Yautsiukhin | |
Enabling BYOD through secure meta-market | 1-gen-2014 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca | |
Securing the ``Bring Your Own Device'' Paradigm | 1-gen-2014 | Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile