Azzedine Benameur
Former LIRIS member since: 2010-08-31
| Quality | PhD student |
| Team(s) | SILEX |
| Institution | Université Claude Bernard Lyon 1 |
| Thesis | Formal Modeling of Service Behavior and Security Properties for testing. Toward an attacker model for services. (click to view details) |