4386 search results - page 711 / 878 » A Tamper-Resistant Programming Language System |
109
click to vote
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
112
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an evaluation study that measures the effect of modifying feedback generality in an Intelligent Tutoring System (ITS) based on Student Models. A taxonomy of the...
113
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
135
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
113
click to vote
IFIP
2003
Springer
15 years 8 months ago
2003
Springer
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...