| 
|
Quote: SPIN uses Modula-3 to guarantee that an extension's interface is obeyed; compiler is part of trusted computing base
topics >
all references >
references g-h >
Topic:
operating system security
Topic:
type-safe and secure languages
Topic:
extensible systems
Quotation Skeleton
As our access control mechanism relies on extensions' … these interfaces are, in fact, respected by the … guarantee. As a result, the compiler becomes part … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: operating system security (17 items)
Topic: type-safe and secure languages (42 items)
Topic: extensible systems (22 items)