Loading...
Please wait, while we are loading the content...
Similar Documents
Description de propriétés de sécurité pour un processus de validation/vérification
| Content Provider | Semantic Scholar |
|---|---|
| Author | Moutet, Thierry |
| Copyright Year | 2010 |
| Abstract | Les travaux presentes dans ce rapport s'articulent autour de la validation du controle d'acces deni par des politiques de securite. Nous nous interessons a la validation par generation de tests a partir d'un modele de securite ecrit en B et decrivant les fonctionnalites de l'application. Nous utilisons l'outil Meca, qui prend en entree un modele fonctionnel et une description d'une politique de securite sous la forme de machines abstraites B, et qui genere un noyau de securite pour le modele fonctionnel. Ce noyau de securite est en charge d'intercepter tous les acces des sujets aux objets, et restreint les comportements a ceux satisfaisant les exigences de securite. Nous presentons une etude de cas complete, sur une application de type porte-monnaie electronique, agrementee d'une politique de securite discretionnaire. |
| Starting Page | 112 |
| Ending Page | 112 |
| Page Count | 1 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://dumas.ccsd.cnrs.fr/dumas-00523234/document |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |