Search

Your search keyword '"Costa, Gabriele"' showing total 13 results

Search Constraints

Start Over You searched for: Author "Costa, Gabriele" Remove constraint Author: "Costa, Gabriele" Publication Type eBooks Remove constraint Publication Type: eBooks
13 results on '"Costa, Gabriele"'

Search Results

1. Systems Security Modeling and Analysis at IMT Lucca

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

4. From Natural Projection to Partial Model Checking and Back

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

6. SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform

7. Securing Android with Local Policies

8. Multi-dimensional Secure Service Orchestration

9. Formal Modeling and Reasoning about the Android Security Framework

10. Lazy Security Controllers

11. Trustworthy Opportunistic Access to the Internet of Services

12. Security and Trust

13. Modular Plans for Secure Service Composition

Catalog

Books, media, physical & digital resources