1843 search results - page 31 / 369 » Securing Class Initialization |
120
click to vote
JCS
2008
15 years 1 months ago
2008
The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bound...
106
click to vote
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
There are many methods for finding association rules in very large data. However it is well known that most general association rule discovery methods find too many rules, which...
116
click to vote
ISSRE
2002
IEEE
15 years 6 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
106
click to vote
CTRSA
2006
Springer
15 years 5 months ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,
100
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...