2303 search results - page 136 / 461 » The Cryptographic Abstract Machine |
169
click to vote
CEC
2008
IEEE
16 years 23 days 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...
174
click to vote
CEFP
2005
Springer
15 years 11 months 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...
179
click to vote
EMSOFT
2005
Springer
15 years 11 months 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 ...
193
click to vote
GI
2004
Springer
15 years 11 months 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...
155
click to vote
ASPLOS
2000
ACM
15 years 10 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 ...