Abstract.
The original paper is available from Springer-Verlag Lecture Notes in Computer Science : LNCS 4805 , November 2007