BRIBE
发表于 2025-3-27 00:21:56
http://reply.papertrans.cn/87/8635/863471/863471_31.png
ALTER
发表于 2025-3-27 03:16:25
http://reply.papertrans.cn/87/8635/863471/863471_32.png
Preamble
发表于 2025-3-27 06:35:22
An Architecture Supporting Security and Persistent Object Storageion from the conventional main memory (also virtual memory) - external memory separation. Both requirements have been fulfilled in the BiiN. architecture. On-chip support for permanent checking of object type and rights is based upon a capability implementation. Also, capabilities are used for objec
xanthelasma
发表于 2025-3-27 11:33:56
1431-1682 previously worked together for more than a decade in Australia we had not seen each other for over a year, following my move to Bremen in 1988. Meanwhile John was spending a year on study leave at the University of St. Andrews in Scotland with Professor Ron Morrison and his persistent programming re
受伤
发表于 2025-3-27 17:24:07
http://reply.papertrans.cn/87/8635/863471/863471_35.png
ABASH
发表于 2025-3-27 21:25:13
Protection in Persistent Object Systemsecking 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.
规章
发表于 2025-3-27 22:51:15
A Layered Persistent Architecture for Napier88 store where the protection is enforced by a high level type system. The architecture has been used to construct the persistent programming system for Napier88 and is powerful enough to support languages with similar type systems.
阴郁
发表于 2025-3-28 05:10:04
Persistent Languages and Architecturesstion of how these languages should be implemented and what architectural support is required for persistence..Here we will review the concepts of persistence and re-examine the design issues that appear in persistent languages and architectures.
Minutes
发表于 2025-3-28 10:21:11
http://reply.papertrans.cn/87/8635/863471/863471_39.png
本土
发表于 2025-3-28 13:56:43
A Model for Protection in Persistent Object-Oriented Systems, language and programmed) and related back to the classification of requirements. Finally we present the MONADS protection mechanisms as an example of an efficient implementation for access rules, showing how a security policy might in practice be implemented to fulfil protection requirements expressed in terms of the model.