Topic: operating system security
Topic: type-safe and secure languages
Topic: weak vs. strong type checking
Topic: security of remotely executed code
Topic: extensible systems
The design of SPIN [operating system] depends only on … [Modula-3] … the visible parts of an implementation module … All other definitions within the implementation module are … A pointer may only refer to objects of … Automatic storage management prevents memory used by a … different type.
Copyright clearance needed for quotation.
Topic: operating system security (17 items)
Topic: type-safe and secure languages (42 items)
Topic: weak vs. strong type checking (39 items)
Topic: security of remotely executed code (22 items)
Topic: extensible systems (22 items)