Spoofing Non-BRANDED Revelations

If revelations contain non-BRANDED types, then clients can state their own revelations. Anyone can state the following revelation without importing the Directory interface.

TYPE Directory.T <: OBJECT METHODS init() : PublicT; add(); END;

All the malicious code needs is an interface that declares Directory.T <: REFANY.

Last changed July 17, 1996

whsieh@cs.washington.edu