Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172497617> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2172497617 endingPage "182" @default.
- W2172497617 startingPage "147" @default.
- W2172497617 abstract "This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed applets possess, and identify sufficient conditions for the applet execution environment to be safe, such as procedural encapsulation, type abstraction, and systematic type-based placement of run-time checks. These results are a first step towards formal techniques for developing and validating safe execution environments for applets." @default.
- W2172497617 created "2016-06-24" @default.
- W2172497617 creator A5039836615 @default.
- W2172497617 creator A5058330133 @default.
- W2172497617 date "1999-01-01" @default.
- W2172497617 modified "2023-10-18" @default.
- W2172497617 title "Security Properties of Typed Applets" @default.
- W2172497617 cites W1518533182 @default.
- W2172497617 cites W1564764333 @default.
- W2172497617 cites W1570258731 @default.
- W2172497617 cites W1829244603 @default.
- W2172497617 cites W1966219798 @default.
- W2172497617 cites W1989536180 @default.
- W2172497617 cites W2016017569 @default.
- W2172497617 cites W2034711041 @default.
- W2172497617 cites W2049962807 @default.
- W2172497617 cites W2052440299 @default.
- W2172497617 cites W2067012475 @default.
- W2172497617 cites W2073569229 @default.
- W2172497617 cites W2094873755 @default.
- W2172497617 cites W2105360973 @default.
- W2172497617 cites W2106094088 @default.
- W2172497617 cites W2118002698 @default.
- W2172497617 cites W2123477284 @default.
- W2172497617 cites W2129278597 @default.
- W2172497617 cites W2144778998 @default.
- W2172497617 cites W2151156765 @default.
- W2172497617 cites W2165657834 @default.
- W2172497617 cites W4231861573 @default.
- W2172497617 cites W4249764155 @default.
- W2172497617 doi "https://doi.org/10.1007/3-540-48749-2_7" @default.
- W2172497617 hasPublicationYear "1999" @default.
- W2172497617 type Work @default.
- W2172497617 sameAs 2172497617 @default.
- W2172497617 citedByCount "15" @default.
- W2172497617 countsByYear W21724976172019 @default.
- W2172497617 crossrefType "book-chapter" @default.
- W2172497617 hasAuthorship W2172497617A5039836615 @default.
- W2172497617 hasAuthorship W2172497617A5058330133 @default.
- W2172497617 hasBestOaLocation W21724976172 @default.
- W2172497617 hasConcept C111472728 @default.
- W2172497617 hasConcept C111919701 @default.
- W2172497617 hasConcept C124304363 @default.
- W2172497617 hasConcept C138885662 @default.
- W2172497617 hasConcept C15524039 @default.
- W2172497617 hasConcept C199360897 @default.
- W2172497617 hasConcept C41008148 @default.
- W2172497617 hasConcept C548217200 @default.
- W2172497617 hasConceptScore W2172497617C111472728 @default.
- W2172497617 hasConceptScore W2172497617C111919701 @default.
- W2172497617 hasConceptScore W2172497617C124304363 @default.
- W2172497617 hasConceptScore W2172497617C138885662 @default.
- W2172497617 hasConceptScore W2172497617C15524039 @default.
- W2172497617 hasConceptScore W2172497617C199360897 @default.
- W2172497617 hasConceptScore W2172497617C41008148 @default.
- W2172497617 hasConceptScore W2172497617C548217200 @default.
- W2172497617 hasLocation W21724976171 @default.
- W2172497617 hasLocation W21724976172 @default.
- W2172497617 hasLocation W21724976173 @default.
- W2172497617 hasLocation W21724976174 @default.
- W2172497617 hasLocation W21724976175 @default.
- W2172497617 hasLocation W21724976176 @default.
- W2172497617 hasLocation W21724976177 @default.
- W2172497617 hasOpenAccess W2172497617 @default.
- W2172497617 hasPrimaryLocation W21724976171 @default.
- W2172497617 hasRelatedWork W2112962394 @default.
- W2172497617 hasRelatedWork W2118300983 @default.
- W2172497617 hasRelatedWork W2382501300 @default.
- W2172497617 hasRelatedWork W3137189469 @default.
- W2172497617 hasRelatedWork W3160136729 @default.
- W2172497617 hasRelatedWork W3162240892 @default.
- W2172497617 hasRelatedWork W3216885170 @default.
- W2172497617 hasRelatedWork W4235530921 @default.
- W2172497617 hasRelatedWork W4243252198 @default.
- W2172497617 hasRelatedWork W4245713008 @default.
- W2172497617 isParatext "false" @default.
- W2172497617 isRetracted "false" @default.
- W2172497617 magId "2172497617" @default.
- W2172497617 workType "book-chapter" @default.