| 
|
Quote: SPIN uses externalized references for user-level access to in-kernal data structures; i.e., index into a per-application table
topics >
all references >
references a-b >
Topic:
safe use of pointers
Topic:
security of remotely executed code
Quotation Skeleton
A pointer can be passed from the [SPIN] kernel to a user-level application, which cannot be assumed to … table that contains type safe references to in-kernel … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: security of remotely executed code (22 items)