FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W357209221> ?p ?o ?g. }

• W357209221 abstract "Cette these traite du probleme d’une protection en profondeur qui puisse etre assuree par un systeme d’exploitation. Elle etablit la faiblesse des solutions existantes pour l’expression des besoins de securite. Les approches supportent en general une seule propriete de securite. Nous proposons donc un langage qui permet de formaliser un large ensemble de proprietes de securite. Ce langage exprime les activites systeme directes et transitives. Il permet de formaliser la majorite des proprietes de confidentialite et d’integrite de la litterature. Il est adapte a l’expression de modeles de protection dynamique. A titre d’exemple, un nouveau modele dynamique est propose pour la protection des differents domaines d’usage d’un navigateur Web. Nous definissons une methode de compilation du langage pour analyser les appels systemes realises par les processus utilisateurs. La compilation repose sur la construction et l’analyse d’un graphe de flux d’information. Nous montrons qu’en pratique la complexite reste faible. Une implantation de ce langage est proposee sous la forme d’un controle d’acces mandataire dynamique pour Linux. Une experimentation a large echelle a ete realisee sur des pots-de-miel a haute interaction. Notre protection a montre son efficacite aussi bien pour les serveurs que les postes client. Il presente des perspectives interessantes aussi bien pour la protection des systemes que pour l’analyse de vulnerabilites. Ce travail a contribue au projet SPACLik vainqueur du defi securite de l’ANR SEC&SI." @default.
• W357209221 created "2016-06-24" @default.
• W357209221 creator A5019729678 @default.
• W357209221 date "2010-12-02" @default.
• W357209221 modified "2023-09-24" @default.
• W357209221 title "Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation" @default.
• W357209221 cites W112288480 @default.
• W357209221 cites W1491237615 @default.
• W357209221 cites W1495613484 @default.
• W357209221 cites W1502450710 @default.
• W357209221 cites W1559155956 @default.
• W357209221 cites W1565356083 @default.
• W357209221 cites W1582262359 @default.
• W357209221 cites W1618548847 @default.
• W357209221 cites W1658769562 @default.
• W357209221 cites W1832558306 @default.
• W357209221 cites W183274994 @default.
• W357209221 cites W1876735072 @default.
• W357209221 cites W1892209793 @default.
• W357209221 cites W1970867218 @default.
• W357209221 cites W1977764760 @default.
• W357209221 cites W1985359465 @default.
• W357209221 cites W1988095917 @default.
• W357209221 cites W1992761401 @default.
• W357209221 cites W2021079739 @default.
• W357209221 cites W2031606427 @default.
• W357209221 cites W2032493761 @default.
• W357209221 cites W2034256728 @default.
• W357209221 cites W2036910349 @default.
• W357209221 cites W2053741629 @default.
• W357209221 cites W2056742491 @default.
• W357209221 cites W2068231562 @default.
• W357209221 cites W2083228150 @default.
• W357209221 cites W2086234010 @default.
• W357209221 cites W2089745089 @default.
• W357209221 cites W2092064278 @default.
• W357209221 cites W2093522256 @default.
• W357209221 cites W2096014157 @default.
• W357209221 cites W2096136334 @default.
• W357209221 cites W2097589646 @default.
• W357209221 cites W2102970979 @default.
• W357209221 cites W2103317919 @default.
• W357209221 cites W2105391037 @default.
• W357209221 cites W2105645970 @default.
• W357209221 cites W2111753337 @default.
• W357209221 cites W2116860113 @default.
• W357209221 cites W2117176239 @default.
• W357209221 cites W2119501188 @default.
• W357209221 cites W2119736157 @default.
• W357209221 cites W2128145651 @default.
• W357209221 cites W2128464188 @default.
• W357209221 cites W2129482816 @default.
• W357209221 cites W2129780932 @default.
• W357209221 cites W2130523241 @default.
• W357209221 cites W2133056961 @default.
• W357209221 cites W2134167896 @default.
• W357209221 cites W2134716394 @default.
• W357209221 cites W2140618551 @default.
• W357209221 cites W2141423292 @default.
• W357209221 cites W2141484235 @default.
• W357209221 cites W2142906650 @default.
• W357209221 cites W2144739015 @default.
• W357209221 cites W2144789413 @default.
• W357209221 cites W2151135920 @default.
• W357209221 cites W2151595596 @default.
• W357209221 cites W2152172333 @default.
• W357209221 cites W2152505375 @default.
• W357209221 cites W2153003719 @default.
• W357209221 cites W2154220454 @default.
• W357209221 cites W2155750598 @default.
• W357209221 cites W2158152382 @default.
• W357209221 cites W2162171351 @default.
• W357209221 cites W2163066996 @default.
• W357209221 cites W2165765842 @default.
• W357209221 cites W2166602595 @default.
• W357209221 cites W2169476734 @default.
• W357209221 cites W2170458715 @default.
• W357209221 cites W2170973665 @default.
• W357209221 cites W2244988808 @default.
• W357209221 cites W2338717024 @default.
• W357209221 cites W2996027056 @default.
• W357209221 cites W3041630926 @default.
• W357209221 cites W3102845218 @default.
• W357209221 cites W3214373139 @default.
• W357209221 cites W32942804 @default.
• W357209221 cites W67713827 @default.
• W357209221 cites W107025004 @default.
• W357209221 cites W2095881341 @default.
• W357209221 cites W2737563519 @default.
• W357209221 hasPublicationYear "2010" @default.
• W357209221 type Work @default.
• W357209221 sameAs 357209221 @default.
• W357209221 citedByCount "1" @default.
• W357209221 countsByYear W3572092212015 @default.
• W357209221 crossrefType "dissertation" @default.
• W357209221 hasAuthorship W357209221A5019729678 @default.
• W357209221 hasConcept C121332964 @default.
• W357209221 hasConcept C138885662 @default.
• W357209221 hasConcept C15708023 @default.
• W357209221 hasConcept C17744445 @default.

• next