Formal Analyze of a Private Access Control Protocol to a Cloud Storage.

Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb

Browse the full SECRYPT paper archive.