A method, system, and computer program product for defining a
non-forgeable object is provided. In one embodiment, a non-forgeable
object class is defined to include an attribute slot that can be set by
an approved factory. The non-forgeable object class is further defined to
include a predicate method that is satisfied only if the attribute slot
has been set by an approved factory.