Matches in SemOpenAlex for { <https://semopenalex.org/work/W148284474> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W148284474 abstract "Dans cette these, nous presentons une formalisation, realisee dans l'assistant de preuve Coq, de la plate-forme Java Card. Cet environnement de programmation est destine aux cartes a puces intelligentes et aux imperatifs de securites qu'elles requierent. Nous decrivons alors la formalisation de la machine virtuelle Java Card et d'une partie consequente de son environnement d'execution. Nous explicitons ensuite comment, a partir de cette machine virtuelle verifiant dynamiquement la surete du typage, obtenir un verificateur de bytecode et une machine virtuelle plus efficace a l'execution, mais aussi sure. Nous apportons pour le BCV un cadre generique, exprime sous forme de modules, appliquant les techniques les plus recentes de ce domaine et simplifiant les preuves a apporter pour assurer la correction du BCV construit. Nous montrons enfin comment la methodologie appliquee pour la surete du typage peut etre generalisee et decrivons les outils realises pour automatiser cette tâche." @default.
- W148284474 created "2016-06-24" @default.
- W148284474 creator A5040992818 @default.
- W148284474 date "2003-01-01" @default.
- W148284474 modified "2023-09-24" @default.
- W148284474 title "Vérification formelle de la plate-forme Java Card" @default.
- W148284474 cites W100964356 @default.
- W148284474 cites W1486562535 @default.
- W148284474 cites W1487820530 @default.
- W148284474 cites W1499782681 @default.
- W148284474 cites W1501401133 @default.
- W148284474 cites W1501674746 @default.
- W148284474 cites W1502719242 @default.
- W148284474 cites W1514258760 @default.
- W148284474 cites W1525726734 @default.
- W148284474 cites W1539972358 @default.
- W148284474 cites W1557646685 @default.
- W148284474 cites W1559870885 @default.
- W148284474 cites W1560641852 @default.
- W148284474 cites W1560655349 @default.
- W148284474 cites W1579338145 @default.
- W148284474 cites W1582156629 @default.
- W148284474 cites W1583295953 @default.
- W148284474 cites W1583811508 @default.
- W148284474 cites W1589281343 @default.
- W148284474 cites W1590419349 @default.
- W148284474 cites W1592189276 @default.
- W148284474 cites W1595501494 @default.
- W148284474 cites W1633108902 @default.
- W148284474 cites W1825474124 @default.
- W148284474 cites W1969356716 @default.
- W148284474 cites W1977509992 @default.
- W148284474 cites W1978864988 @default.
- W148284474 cites W1989536180 @default.
- W148284474 cites W199135729 @default.
- W148284474 cites W1996469056 @default.
- W148284474 cites W2020763704 @default.
- W148284474 cites W2023578426 @default.
- W148284474 cites W2027584005 @default.
- W148284474 cites W2028327857 @default.
- W148284474 cites W2030960886 @default.
- W148284474 cites W2034711041 @default.
- W148284474 cites W2034717157 @default.
- W148284474 cites W2035652450 @default.
- W148284474 cites W2044758536 @default.
- W148284474 cites W2096228713 @default.
- W148284474 cites W2105360973 @default.
- W148284474 cites W2112100155 @default.
- W148284474 cites W2114754412 @default.
- W148284474 cites W2116590474 @default.
- W148284474 cites W2124153277 @default.
- W148284474 cites W2126160338 @default.
- W148284474 cites W2128111779 @default.
- W148284474 cites W2134072717 @default.
- W148284474 cites W2140845465 @default.
- W148284474 cites W2148592296 @default.
- W148284474 cites W2149123662 @default.
- W148284474 cites W2150352456 @default.
- W148284474 cites W2162611322 @default.
- W148284474 cites W2164810907 @default.
- W148284474 cites W2166985644 @default.
- W148284474 cites W2167316540 @default.
- W148284474 cites W2168448595 @default.
- W148284474 cites W2323803659 @default.
- W148284474 cites W2675276594 @default.
- W148284474 cites W402789711 @default.
- W148284474 cites W61697648 @default.
- W148284474 cites W640623332 @default.
- W148284474 cites W27369194 @default.
- W148284474 hasPublicationYear "2003" @default.
- W148284474 type Work @default.
- W148284474 sameAs 148284474 @default.
- W148284474 citedByCount "2" @default.
- W148284474 countsByYear W1482844742021 @default.
- W148284474 crossrefType "dissertation" @default.
- W148284474 hasAuthorship W148284474A5040992818 @default.
- W148284474 hasConcept C142362112 @default.
- W148284474 hasConcept C15524039 @default.
- W148284474 hasConcept C15708023 @default.
- W148284474 hasConcept C199360897 @default.
- W148284474 hasConcept C2779818221 @default.
- W148284474 hasConcept C41008148 @default.
- W148284474 hasConcept C47747970 @default.
- W148284474 hasConcept C548217200 @default.
- W148284474 hasConceptScore W148284474C142362112 @default.
- W148284474 hasConceptScore W148284474C15524039 @default.
- W148284474 hasConceptScore W148284474C15708023 @default.
- W148284474 hasConceptScore W148284474C199360897 @default.
- W148284474 hasConceptScore W148284474C2779818221 @default.
- W148284474 hasConceptScore W148284474C41008148 @default.
- W148284474 hasConceptScore W148284474C47747970 @default.
- W148284474 hasConceptScore W148284474C548217200 @default.
- W148284474 hasLocation W1482844741 @default.
- W148284474 hasOpenAccess W148284474 @default.
- W148284474 hasPrimaryLocation W1482844741 @default.
- W148284474 isParatext "false" @default.
- W148284474 isRetracted "false" @default.
- W148284474 magId "148284474" @default.
- W148284474 workType "dissertation" @default.