FRINK Linked Data Fragments server

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

• W129805619 abstract "Various mechanisms exist for enforcing that untrusted code satisfies basic but essential security properties, such as memory safety. A security mechanism needs to be trustworthy, so that users can feel secure that the mechanism can not in some way be tricked by malicious or erroneous code. It is increasingly important that security mechanisms be flexible enough to handle software systems written in more than one language. Finally a security mechanism must be a practical and usable tool; it must scale to handle realistic software systems. Standard security enforcement techniques using intermediate languages run on virtual machines are disappointing; in particular, the intermediate languages are too fixed to handle a wide variety of source languages in a natural way, even when the intermediate language is designed with flexibility in mind. In this dissertation I propose a security enforcement mechanism called the Open Verifier. The Open Verifier allows a producer of untrusted code to include with the code an untrusted verifier called an extension. The trusted framework of the Open Verifier works together with the untrusted extension to produce a complete trustworthy verification. The code producer can tailor the extension to the particular source language and compilation strategy used to produce the untrusted code, ensuring the flexibility of the system. At the same time the trusted framework is kept reasonably simple and small, and easy to trust. In order to produce a trustworthy verification from an untrusted verifier, the extension is required to emit intermediate results which can be checked by the trusted components of the system. In fact, the extension must produce the proofs of obligations produced by the trusted framework. The heart of this dissertation is the architecture and logic of that interaction. Additionally, to show that the Open Verifier is a practical and usable tool, I describe by example the process of producing an extension for a realistic language, highlighting in particular the proof development strategies." @default.
• W129805619 created "2016-06-24" @default.
• W129805619 creator A5008566281 @default.
• W129805619 creator A5049483484 @default.
• W129805619 date "2004-01-01" @default.
• W129805619 modified "2023-09-24" @default.
• W129805619 title "Extensible untrusted code verification" @default.
• W129805619 cites W127506714 @default.
• W129805619 cites W130342088 @default.
• W129805619 cites W1490787830 @default.
• W129805619 cites W1501401133 @default.
• W129805619 cites W1581442032 @default.
• W129805619 cites W1867436870 @default.
• W129805619 cites W1976394633 @default.
• W129805619 cites W1976499711 @default.
• W129805619 cites W1980280740 @default.
• W129805619 cites W1991984504 @default.
• W129805619 cites W19925744 @default.
• W129805619 cites W2022949157 @default.
• W129805619 cites W2029360780 @default.
• W129805619 cites W2034711041 @default.
• W129805619 cites W2036145174 @default.
• W129805619 cites W2036910349 @default.
• W129805619 cites W2040856861 @default.
• W129805619 cites W2069107692 @default.
• W129805619 cites W2069954929 @default.
• W129805619 cites W2114925693 @default.
• W129805619 cites W2115401928 @default.
• W129805619 cites W2128180740 @default.
• W129805619 cites W2137417304 @default.
• W129805619 cites W2140611647 @default.
• W129805619 cites W2150769115 @default.
• W129805619 cites W2153297607 @default.
• W129805619 cites W2164719159 @default.
• W129805619 cites W2168734799 @default.
• W129805619 cites W2911450990 @default.
• W129805619 cites W69024957 @default.
• W129805619 cites W2523004834 @default.
• W129805619 hasPublicationYear "2004" @default.
• W129805619 type Work @default.
• W129805619 sameAs 129805619 @default.
• W129805619 citedByCount "3" @default.
• W129805619 crossrefType "journal-article" @default.
• W129805619 hasAuthorship W129805619A5008566281 @default.
• W129805619 hasAuthorship W129805619A5049483484 @default.
• W129805619 hasConcept C105795698 @default.
• W129805619 hasConcept C177264268 @default.
• W129805619 hasConcept C199360897 @default.
• W129805619 hasConcept C2776760102 @default.
• W129805619 hasConcept C2778029271 @default.
• W129805619 hasConcept C2780598303 @default.
• W129805619 hasConcept C33923547 @default.
• W129805619 hasConcept C38652104 @default.
• W129805619 hasConcept C41008148 @default.
• W129805619 hasConceptScore W129805619C105795698 @default.
• W129805619 hasConceptScore W129805619C177264268 @default.
• W129805619 hasConceptScore W129805619C199360897 @default.
• W129805619 hasConceptScore W129805619C2776760102 @default.
• W129805619 hasConceptScore W129805619C2778029271 @default.
• W129805619 hasConceptScore W129805619C2780598303 @default.
• W129805619 hasConceptScore W129805619C33923547 @default.
• W129805619 hasConceptScore W129805619C38652104 @default.
• W129805619 hasConceptScore W129805619C41008148 @default.
• W129805619 hasLocation W1298056191 @default.
• W129805619 hasOpenAccess W129805619 @default.
• W129805619 hasPrimaryLocation W1298056191 @default.
• W129805619 hasRelatedWork W141003461 @default.
• W129805619 hasRelatedWork W1508874134 @default.
• W129805619 hasRelatedWork W1546258910 @default.
• W129805619 hasRelatedWork W1582983062 @default.
• W129805619 hasRelatedWork W1775920529 @default.
• W129805619 hasRelatedWork W1976394633 @default.
• W129805619 hasRelatedWork W2034711041 @default.
• W129805619 hasRelatedWork W2127645574 @default.
• W129805619 hasRelatedWork W2135249212 @default.
• W129805619 hasRelatedWork W2150210903 @default.
• W129805619 hasRelatedWork W2364993740 @default.
• W129805619 hasRelatedWork W2523077505 @default.
• W129805619 hasRelatedWork W2924389930 @default.
• W129805619 hasRelatedWork W2942211720 @default.
• W129805619 hasRelatedWork W2950563120 @default.
• W129805619 hasRelatedWork W3083250218 @default.
• W129805619 hasRelatedWork W3174898988 @default.
• W129805619 hasRelatedWork W3206627716 @default.
• W129805619 hasRelatedWork W585554143 @default.
• W129805619 hasRelatedWork W97681556 @default.
• W129805619 isParatext "false" @default.
• W129805619 isRetracted "false" @default.
• W129805619 magId "129805619" @default.
• W129805619 workType "article" @default.