[Lecture Notes in Computer Science] Security in Pervasive Computing Volume 2802 || Implementing a Formally Verifiable Security Protocol in Java Card
Hutter, Dieter, Müller, Günter, Stephan, Werner, Ullmann, MarkusVolume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/978-3-540-39881-3_19
File:
PDF, 215 KB
english, 2004