Alvin Tang

Examiner les modèles de contrôle d'accès et le rôle de la logique formelle dans l'amélioration de la sécurité.