Matches in SemOpenAlex for { <https://semopenalex.org/work/W2735239103> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2735239103 startingPage "35" @default.
- W2735239103 abstract "Proof Carrying Code (PCC) is a technique for downloading mobile code on a host machine while ensuring that the code adheres to the host's security policy. We show how certified abstract interpretation can be used to build a PCC architecture where the code producer can produce program certificates automatically. Code consumers use proof checkers derived from certified analysers to check certificates. Proof checkers carry their own correctness proofs and accepting a new proof checker amounts to type checking the checker in Coq. The checking of certificates is accelerated by a technique for (post-)fixpoint compression. The PCC architecture has been evaluated experimentally on a byte code language for which we have designed an interval analysis that allows to generate certificates ascertaining that no array-out-of-bounds accesses will occur. Le Proof Carrying Code (PCC) est une technique pour telecharger du code sur une machine hote tout en assurant que ce code adhere a la polique de securite de cette machine. Nous montrons comment l'interpretation abstraite certifiee peut etre utilisee pour construire une architecture PCC pour laquelle la production de certificat est automatique pour le producteur de code. Pour verifier les certificats, les consommateurs de code utilisent les verificateurs de preuves produits a partir d'analyseurs statiques certifies. Les verificateurs de preuves sont eux-memes accompagnes de leur preuve de correction et accepter un nouveau verificateur se ramene a verifier son bon typage Coq. La verification de certificats est acceleree par une technique de compression de (post-)points fixes. L'architecture PCC a ete evaluee experimentalement sur un langage abytecode pour lequel nous avons concu une analyse d'intervalles qui genere des certificats que assurent l'absence d'acces hors des bornes des tableaux." @default.
- W2735239103 created "2017-07-21" @default.
- W2735239103 creator A5035021429 @default.
- W2735239103 creator A5046752375 @default.
- W2735239103 creator A5054819541 @default.
- W2735239103 date "2005-01-01" @default.
- W2735239103 modified "2023-09-23" @default.
- W2735239103 title "A PCC Architecture based on Certified Abstract Interpretation" @default.
- W2735239103 cites W1564069522 @default.
- W2735239103 cites W1921152384 @default.
- W2735239103 cites W2034711041 @default.
- W2735239103 cites W2043100293 @default.
- W2735239103 cites W2066946201 @default.
- W2735239103 cites W2128180740 @default.
- W2735239103 cites W2153297607 @default.
- W2735239103 cites W52562630 @default.
- W2735239103 hasPublicationYear "2005" @default.
- W2735239103 type Work @default.
- W2735239103 sameAs 2735239103 @default.
- W2735239103 citedByCount "1" @default.
- W2735239103 countsByYear W27352391032015 @default.
- W2735239103 crossrefType "journal-article" @default.
- W2735239103 hasAuthorship W2735239103A5035021429 @default.
- W2735239103 hasAuthorship W2735239103A5046752375 @default.
- W2735239103 hasAuthorship W2735239103A5054819541 @default.
- W2735239103 hasConcept C177264268 @default.
- W2735239103 hasConcept C199360897 @default.
- W2735239103 hasConcept C2776760102 @default.
- W2735239103 hasConcept C2780654840 @default.
- W2735239103 hasConcept C41008148 @default.
- W2735239103 hasConceptScore W2735239103C177264268 @default.
- W2735239103 hasConceptScore W2735239103C199360897 @default.
- W2735239103 hasConceptScore W2735239103C2776760102 @default.
- W2735239103 hasConceptScore W2735239103C2780654840 @default.
- W2735239103 hasConceptScore W2735239103C41008148 @default.
- W2735239103 hasOpenAccess W2735239103 @default.
- W2735239103 hasRelatedWork W101747467 @default.
- W2735239103 hasRelatedWork W106414053 @default.
- W2735239103 hasRelatedWork W2019474761 @default.
- W2735239103 hasRelatedWork W2060317138 @default.
- W2735239103 hasRelatedWork W2240898647 @default.
- W2735239103 hasRelatedWork W2271109481 @default.
- W2735239103 hasRelatedWork W2275863571 @default.
- W2735239103 hasRelatedWork W2335352604 @default.
- W2735239103 hasRelatedWork W2417455953 @default.
- W2735239103 hasRelatedWork W2592555237 @default.
- W2735239103 hasRelatedWork W2735524855 @default.
- W2735239103 hasRelatedWork W2735834921 @default.
- W2735239103 hasRelatedWork W2909446913 @default.
- W2735239103 hasRelatedWork W2918769567 @default.
- W2735239103 hasRelatedWork W2950619981 @default.
- W2735239103 hasRelatedWork W3159197421 @default.
- W2735239103 hasRelatedWork W77992279 @default.
- W2735239103 hasRelatedWork W962840875 @default.
- W2735239103 hasRelatedWork W2524769998 @default.
- W2735239103 hasRelatedWork W2783746980 @default.
- W2735239103 isParatext "false" @default.
- W2735239103 isRetracted "false" @default.
- W2735239103 magId "2735239103" @default.
- W2735239103 workType "article" @default.