Sign in
  Edit search
Security in Pervasive Computing, vol. 2802
Security in Pervasive Computing, vol. 2802
Implementing a formally verifiable security protocol in Java…
Implementing a formally verifiable security protocol in Java Card
Implementing a formally verifiable security protocol in Java Card
eBook
Implementing a formally verifiable security protocol in Java Card
Authors: E.M.G.M.
Page: 213-226
Published: 2004
ISBN: 3540208879
  Full text availability for this item
View Full Text Source:Security in Pervasive Computing, vol. 2802,Security in Pervasive Computing, vol. 2802,Springer Complete eBooks Opens in new Window
Collection:  Springer Complete eBooks Opens in new Window
Coverage:
  • 2004
  Print copies at your library
Check availability in RUQuest
  Request a copy of this item
Cite this item