Matches in SemOpenAlex for { <https://semopenalex.org/work/W68455412> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W68455412 abstract "Abstract : Successful attacks on computing infrastructures often involve failures of type safety. A major contribution of this grant has been the creation of type systems and type-checking algorithms for low-level languages in use today. In addition, certifying compilation was developed to eliminate the need to trust correctness of highlevel language implementations. However, ensuring type safety is not sufficient for ruling-out misbehavior in code. A second contribution of this grant was to design and build program-rewriting tools employed for security policy enforcement and also to derive a theoretical characterization for what kinds of policies can be enforced by program rewriting. The theoretical work compares the expressive power of rewriting against traditional security enforcement mechanisms; rewriting is proved to be strictly more powerful. The in-lined reference monitor toolkits handle x86 machine code, the Java virtual machine, and Microsoft's .NET framework." @default.
- W68455412 created "2016-06-24" @default.
- W68455412 creator A5021996655 @default.
- W68455412 creator A5086216718 @default.
- W68455412 date "2004-03-18" @default.
- W68455412 modified "2023-09-23" @default.
- W68455412 title "Language-Based Security for Extensible Systems" @default.
- W68455412 doi "https://doi.org/10.21236/ada422023" @default.
- W68455412 hasPublicationYear "2004" @default.
- W68455412 type Work @default.
- W68455412 sameAs 68455412 @default.
- W68455412 citedByCount "0" @default.
- W68455412 crossrefType "report" @default.
- W68455412 hasAuthorship W68455412A5021996655 @default.
- W68455412 hasAuthorship W68455412A5086216718 @default.
- W68455412 hasConcept C115903868 @default.
- W68455412 hasConcept C199360897 @default.
- W68455412 hasConcept C32833848 @default.
- W68455412 hasConcept C41008148 @default.
- W68455412 hasConceptScore W68455412C115903868 @default.
- W68455412 hasConceptScore W68455412C199360897 @default.
- W68455412 hasConceptScore W68455412C32833848 @default.
- W68455412 hasConceptScore W68455412C41008148 @default.
- W68455412 hasLocation W684554121 @default.
- W68455412 hasOpenAccess W68455412 @default.
- W68455412 hasPrimaryLocation W684554121 @default.
- W68455412 hasRelatedWork W1488432038 @default.
- W68455412 hasRelatedWork W1517684295 @default.
- W68455412 hasRelatedWork W1538946837 @default.
- W68455412 hasRelatedWork W1998962249 @default.
- W68455412 hasRelatedWork W2165124476 @default.
- W68455412 hasRelatedWork W2167798150 @default.
- W68455412 hasRelatedWork W2507206891 @default.
- W68455412 hasRelatedWork W2952657391 @default.
- W68455412 hasRelatedWork W3014605557 @default.
- W68455412 hasRelatedWork W3151958197 @default.
- W68455412 isParatext "false" @default.
- W68455412 isRetracted "false" @default.
- W68455412 magId "68455412" @default.
- W68455412 workType "report" @default.