| 
|
Quote: guarantee sandbox security by well-typed applets and verified parameter references
topics >
all references >
references i-l >
Topic:
weak vs. strong type checking
Topic:
security by secure domains
Quotation Skeleton
The type-based security properties developed in this section … ref, we [add explicit type checks, OK(t), to all writes in the execution environment.] … The applets themselves are not instrumented … All we know about the applet is that … the combination of this well- typing with the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: weak vs. strong type checking (39 items)
Topic: security by secure domains (42 items)