13 results on '"Costa, Gabriele"'
Search Results
2. Designing a Serious Game for Cybersecurity Education
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.