3420 search results - page 308 / 684 » A Language-Based Approach to Security |
167
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
191
click to vote
IDTRUST
2009
ACM
16 years 1 months ago
2009
ACM
Organizations owning cyber-infrastructure assets face large scale distributed attacks on a regular basis. In the face of increasing complexity and frequency of such attacks, we ar...
152
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
164
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn t...
173
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...