8644 search results - page 1396 / 1729 » On the Composition of Secure Systems |
194
click to vote
ICALP
2003
Springer
16 years 2 days 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 ...
191
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
186
click to vote
SIGOPSE
2000
ACM
15 years 11 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
198
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
As it stands the Internet’s “one size fits all” approach to information retrieval presents the average user with a serious information overload problem. Adaptive hypermedia s...
163
click to vote
ASIACRYPT
1999
Springer
15 years 11 months ago
1999
Springer
A periodical multi-secret threshold cryptosystem enables a sender to encrypt a message by using a cyclical sequence of keys which are shared by n parties and periodically updated. ...