| 
|
Quote: SPIN OS provides language-based, fine-grained access control and fine-grained user extensions; static type checking and dynamic linking
topics >
all references >
references a-b >
Topic:
security by access rights
Topic:
operating system kernel
Topic:
extensible systems
Quotation Skeleton
The SPIN [operating system] architecture provides a software infrastructure … resources, while the extension model enables extensions to … that can be implemented with low-cost on conventional … as static type checking and dynamic linking. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: security by access rights (36 items)
Topic: operating system kernel (67 items)
Topic: extensible systems (22 items)