Validation formelle d'implantation de patrons de sécurité
Les architectures de systèmes à logiciel posent des défis pour les experts de sécurité. nombreux travaux ont eu pour objectif d’élaborer des solutions théoriques, des guides méthodologiques et des recommandations, pour renforcer la sécurité et protéger ces systèmes.Une solution proposée est d’intégr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018ENTA0002/document |