Sciweavers

385 search results - page 20 / 77
» Advances in smart cards
Sort
View
TRUSTBUS
2004
Springer
14 years 1 months ago
Breaking Down Architectural Gaps in Smart-Card Middleware Design
Tommaso Cucinotta, Marco Di Natale, David Corcoran
ESMART
2001
Springer
14 years 12 days 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»
14 years 12 days 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»
14 years 10 days ago
A New Undeniable Signature Scheme Using Smart Cards
Lee Jongkook, Ryu Shiryong, Kim Jeungseop, Yoo Kee...