56 search results - page 10 / 12 » A Protocol for Programmable Smart Cards |
ESORICS
2002
Springer
14 years 9 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
CHES
2005
Springer
14 years 3 months ago
2005
Springer
Embedded devices implementing cryptographic services are the result of a trade-off between cost, performance and security. Aside from flaws in the protocols and the algorithms us...
FPL
2003
Springer
14 years 3 months ago
2003
Springer
Recent developments in information technologies made the secure transmission of digital data a critical design point. Large data flows have to be exchanged securely and involve en...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
PULC is a user-level communication library for workstation clusters. PULC provides a multi-user, multi-programming communication library for user level communication on top of high...
WAN
1998
Springer
14 years 2 months ago
1998
Springer
PULC is a user-level communication library for workstation clusters. PULC provides a multi-user, multi-programming communication library for user level communication on top of high...