| 
|
QuoteRef: brinP_1973
topics >
all references >
ThesaHelp:
references a-b
Group:
type checking
Topic:
type-safe and secure languages
Group:
security
Topic:
data type as a set of values and a set of operations
Topic:
object-oriented classes
Topic:
concurrency control by monitors
Topic:
critical regions
Reference
Brinch Hansen, P., "Chapter 7, Resource Protection", Operating Systems Principles, Englewood Cliffs, New Jersey, USA, Prentice-Hall, 1973, pp. 225-235. Google
226 ;;Quote: type checking ensures well-defined operations on data; security checking ensures authorization to execute operations
226 ;;Quote: data and operations are the warp and weft of experience; state and process descriptions; e.g., integer and boolean have identical bit strings
228 ;;Quote: a Simula class combines a structured data type with its operations; e.g. Dahl and Hoare's paper
229 ;;Quote: implement critical regions by a shared class or monitor; its operations exclude each other over time
ThesaHelp: references a-b (396 items)
Group: type checking (12 topics, 385 quotes)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)
Topic: data type as a set of values and a set of operations (16 items)
Topic: object-oriented classes (66 items)
Topic: concurrency control by monitors (24 items)
Topic: critical regions (58 items)