Map
Index
Random
Help
th

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 > QuoteRef: grimR2_2001 , p. 55



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.


Related Topics up

Topic: operating system security (17 items)
Topic: type-safe and secure languages (42 items)
Topic: extensible systems (22 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.