2303 search results - page 136 / 461 » The Cryptographic Abstract Machine |
191
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
189
click to vote
CEFP
2005
Springer
16 years 9 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
188
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
204
click to vote
GI
2004
Springer
16 years 4 days ago
2004
Springer
: Next to authentication, secure key exchange is considered the most critical and complex issue regarding ad-hoc network security. We present a low-cost, (i.e. low hardware-complex...
168
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...