4111 search results - page 666 / 823 » Security, Protocols, and Trust |
196
click to vote
SEMWEB
2004
Springer
16 years 16 days ago
2004
Springer
P2P networks have become increasingly popular in the recent years. However, their open, distributed and anonymous nature makes them very vulnerable against malicious users who prov...
190
click to vote
NDSS
2003
IEEE
16 years 14 days ago
2003
IEEE
Everyday network interactions require users to give out their email address, yet no guarantees can be made about how this address will be used. Sometimes the address is given to a...
182
click to vote
TLDI
2003
ACM
16 years 13 days ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
204
click to vote
CIARP
2003
Springer
16 years 12 days ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
229
click to vote
LICS
2002
IEEE
16 years 3 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...