Gunter Kniesel and Dirk Theisen. JAC | access right based encapsulation for Java. Software | Practice and Experience, 31(6):555-576, May 2001.  Home/Search   Document Not in Database   Summary   Related Articles

.... the following strategies: Alias prevention: Alias creation is avoided either by using unique types [3, 42, 10] or placing constraints on the connectivity of the object graph [29, 1, 13] Access control: Side e ects resulted from aliases is controlled either by tagging aliases to be read only [29, 36, 51] or imposing other forms of access control [45] As these type systems are e ectively access control constraints, they could be applied to enforce safety policies [61, 9, 8] One critique of the researches mentioned above is that the notion of type safety is almost always formulated as a ....

....concrete and informative, the above extension mechanism will be used to incorporate an augmenting type system into the Aegis VM. As the goal of the current study is not to de ne new type systems, a known augmenting type system will be chosen for this purpose: the read only type system proposed in [36]. In short, this type system is a transitive variant of the C C const type quali er, in which read only access is imposed on all objects reachable from the quali ed object reference. The rationales for this decision are the following: The selected augmented type system should be relevant to ....

Gunter Kniesel and Dirk Theisen. JAC | access right based encapsulation for Java. Software | Practice and Experience, 31(6):555-576, May 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC