Towards an Alternative Way of Verifying Proxy Objects in JINI. - Nikolaos Papamichail; Luminita Vasiu (ICETE (2), 2004)