56 search results - page 10 / 12 » A Protocol for Programmable Smart Cards |
155
click to vote
ESORICS
2002
Springer
16 years 4 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 ...
170
Voted
CHES
2005
Springer
15 years 10 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...
168
click to vote
FPL
2003
Springer
15 years 10 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...
127
click to vote
IPPS
1998
IEEE
15 years 9 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...
135
click to vote
WAN
1998
Springer
15 years 9 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...