International Conference on Security in Pervasive Computing (SPC-2003), March 12-14, Boppard, Germany, Lecture Notes in Computer Science (LNCS), Vol. …
In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …