@inbook{b637b330f33c48339471fb91514b7719,
title = "Protection in Persistent Object Systems: Security and Persistence",
abstract = "Persistent programming is concerned with the creation and manipulation of data with arbitrary lifetimes. This data is often valuable and therefore protected to ensure that it is free from misuse. The mechanisms used to protect the data vary with a tradeoff between static expression of the protection and the flexibility in modelling it. In this paper we explore the full range of protection mechanisms in persistent systems from static to dynamic checking and contrast it with the corresponding balance between safety and flexibility in the system. Protection by capabilities, dynamic universal union types, encapsulation, subtype inheritance, existential quantification and predicate defined invariants will be explored with reference to manipulating long lived data.",
keywords = "school",
author = "R. Morrison and Brown, {A. L.} and Connor, {R. C. H.} and Cutts, {Q. I.} and Kirby, {G. N. C.} and A. Dearle and J. Rosenberg and D. Stemple",
note = "ID: 203; MBC+90; International Workshop on Security and Persistence (IWSP), Bremen M1 - Book, Section",
year = "1990",
language = "English",
series = "Workshops in Computing",
publisher = "Springer-Verlag",
pages = "48--66",
booktitle = "Security and Persistence",
address = "Germany",
}