2575 search results - page 21 / 515 » Providing security with insecure systems |
CCS
2007
ACM
15 years 6 months 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...
180
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Networked information systems require strong security guarantees because of the new threats that they face. Various forms of encryption have been proposed to deal with this proble...
133
click to vote
SEC
2003
15 years 1 months ago
2003
: The public telephone network has been evolving from manually switched wires carrying analog encoded voice of the 19th century to an automatically switched grid of copper-wired, f...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
103
click to vote
ETRICS
2006
15 years 3 months ago
2006
Abstract. Practical computer (in)security is largely driven by the existence of and knowledge about vulnerabilities, which can be exploited to breach security mechanisms. Although ...