Edit search
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. Hubbers
Page: 213-226
Published: 2004
ISBN: 3540208879
  Print copies at your library
  Request a copy of this item
Cite this item