2043 search results - page 329 / 409 » Reasoning About Security Models |
177
Voted
BSL
2011
14 years 7 months ago
2011
show that an abstract analysis of one of these three set theoretic principles can sometimes lead us to results that do not require additional axioms at all but which could have bee...
93
Voted
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
97
Voted
ICFP
2006
ACM
16 years 18 days ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
197
Voted
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
106
Voted
HRI
2006
ACM
15 years 6 months ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....