Signatures électroniques avancées : modélisation de la validation à long terme et sécurité des autorités de certification (Computer file, 2011) [WorldCat.org]
skip to content
New WorldCat.org coming soon
Signatures électroniques avancées : modélisation de la validation à long terme et sécurité des autorités de certification
Checking...

Signatures électroniques avancées : modélisation de la validation à long terme et sécurité des autorités de certification

Author: Moez Ben MbarkaFrancine KriefJulien SternJean-Louis LanetChristian ToinardAll authors
Publisher: 2011.
Dissertation: Thèse de doctorat : Informatique : Bordeaux 1 : 2011.
Edition/Format:   Computer file : Document : Thesis/dissertation : French
Summary:
Il est nécessaire qu'une signature électronique garde ses propriétés de sécurité durant sa période archivage légale. La première partie de ce mémoire adresse cette problématique en formalisant la validation de signature à long terme. On utilise notre modèle pour définir la sémantique d'une règle de résolution de litige et pour formaliser plusieurs notions tels que la preuve de jugement, son
Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Thèses et écrits académiques
Material Type: Document, Thesis/dissertation, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Moez Ben Mbarka; Francine Krief; Julien Stern; Jean-Louis Lanet; Christian Toinard; Mohamed Mosbah; Olivier Ly; Université Bordeaux-I (1971-2013).; École doctorale de mathématiques et informatique (Talence, Gironde).; Laboratoire bordelais de recherche en informatique.
OCLC Number: 758792435
Notes: Titre provenant de l'écran-titre.
Description: 1 online resource
Responsibility: Moez Ben Mbarka ; sous la direction de Francine Krief et de Julien Stern.

Abstract:

Il est nécessaire qu'une signature électronique garde ses propriétés de sécurité durant sa période archivage légale. La première partie de ce mémoire adresse cette problématique en formalisant la validation de signature à long terme. On utilise notre modèle pour définir la sémantique d'une règle de résolution de litige et pour formaliser plusieurs notions tels que la preuve de jugement, son expiration et son renouvellement. La révocation est l'un des principaux aspects formalisés par le modèle. La gestion de la révocation est particulièrement critique pour une Autorité de Certification. Dans un premier temps, on investigue différent niveaux de compromission et de révocations. Ensuite, on adresse la sécurité de l'application de signature de certificats. On propose une solution qui permet au module cryptographique de l'AC de déléguer les vérifications sur les requêtes de signature de certificats, à un environnement moins sécurisé mais avec une puissance de calcul plus importante.

Nowadays digital signature schemes and infrastructures have time limitations. This situation is disturbing considering that there are many cases, such as government records, where the signatures are required to be kept valid for a long period of time. In this thesis, we address this issue by modeling signature validation in the scope of a dispute between a verifier and a signer. The model is accompanied with a formal calculus to formalize several important concepts in the scope of long-term validation, such as judgment proof, proof expiration and renewal. Certificate revocation is one of the main issues considered by the model. Revocation is particularly critical for a Certification Authority (CA). We investigate this issue in the scope of the revocation settings allowed in X.509 and we show that some settings permit efficient countermeasures to prevent the revocation of the CA. For the same objective, we investigate approaches allowing to combine hardware protection with fine-tuned control on the usage of the CA's key. We propose a general solution which allows the execution of the of CA's certification policies at a processor which runs in an insecure environment under the control of the CA's secure module.

Reviews

Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.