loading
Sách, tuyển tập

Technologies des programmes accompagnés de preuves / HOANG, Minh Tien

Tác giả : HOANG, Minh Tien

Năm xuất bản : 2009

Chủ đề : 1. condition de vérification. 2. consommateur de code, producteur de code. 3. lambda calcul. 4. logique de premier ordre. 5. programme accompagné de preuves. 6. programme accompagné de preuves d’oracle. 7. programme accompagné de preuves étendues. 8. Thesis.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

La technologie des programmes accompagnés de preuves (Proof Carrying Code, PCC) a été introduite pour la première fois en Novembre 1996 dans le projet de recherche de George Necula et Peter Lee [1] de l’université Carnegie Melon. Cette méthode est pour but de vérifier la sécurité d’un programme inéprouvé sur le consommateur de code en utilisant des preuves générées par le producteur de codes. Car la vérification entre les codes et les preuves est effectuée une seule fois dès le premier démarrage du programme, sa performance est donc préservée. La méthode est connu aussi par sa simplifié, sa flexibilité dans le déploiement. Pourtant il existe encore des points faibles qui empêche l’application de PCC en réalité, en basant sur les points de vue différents, les chercheurs ont donné leur façon d’améliorer le modèle primitif comme limiter la taille de l’infrastructure présumée fiable (dans le modèle FPCC [5], Andrew W. Appel), réduire la taille des preuves (dans le modèle OPCC[4], Necula) … Ce mémoire vise à réaliser une recherche sur les techniques principales de programmes accompagnés de preuves, à analyser ses avantages et aussi ses inconvénients. On se concentrera sur la méthode programmes accompagnés de preuves étendu (EPCC [2]) proposé par Danny Dubé et Heidar Pirzadeh Tabari de l’Université Laval. On discutera également l’architecture d’une machine virtuelle (VEP [3]), le coeur du EPCC, et proposer un prototype pour prouver automatiquement la sécurité de cette machine.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Viện Quốc tế Pháp ngữ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/320