Sciweavers

385 search results - page 20 / 77
» Advances in smart cards
Sort
View
TRUSTBUS
2004
Springer
15 years 5 months ago
Breaking Down Architectural Gaps in Smart-Card Middleware Design
Tommaso Cucinotta, Marco Di Natale, David Corcoran
ESMART
2001
Springer
15 years 4 months ago
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels
Yves Deswarte, Noreddine Abghour, Vincent Nicomett...
FM
2001
Springer
99views Formal Methods» more  FM 2001»
15 years 4 months ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...
IMA
2001
Springer
79views Cryptology» more  IMA 2001»
15 years 4 months ago
A New Undeniable Signature Scheme Using Smart Cards
Lee Jongkook, Ryu Shiryong, Kim Jeungseop, Yoo Kee...