4264 search results - page 667 / 853 » Provenance-aware secure networks |
178
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
167
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
175
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—Text-based password schemes have inherent security and usability problems, leading to the development of graphical password schemes. However, most of these alternate schemes are...
188
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
158
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...