518 search results - page 49 / 104 » Abstract Interpretation-Based Protection |
126
Voted
VIZSEC
2004
Springer
15 years 8 months ago
2004
Springer
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...
138
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
121
Voted
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
In traditional database security research, the database is usually assumed to be trustworthy. Under this assumption, the goal is to achieve security against external attacks (e.g....
111
Voted
CTRSA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
PAM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Detecting clients with deviant behavior in the Bittorrent network is a challenging task that has not received the deserved attention. Typically, this question is seen as ...