Protection in persistent object systems

R Morrison, AL Brown, RCH Connor, QI Cutts… - Security and Persistence …, 1990 - Springer
R Morrison, AL Brown, RCH Connor, QI Cutts, G Kirby, A Dearle, J Rosenberg, D Stemple
Security and Persistence: Proceedings of the International Workshop on …, 1990Springer
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 …
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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果