Search

Arnaud Lefray

Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
Security-Aware Models for Clouds
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures

Published with Wowchemy — the free, open source website builder that empowers creators.