201 search results - page 27 / 41 » Security Properties of Typed Applets |
108
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
130
Voted
CMS
2006
15 years 4 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...
129
click to vote
OOPSLA
1989
Springer
15 years 7 months ago
1989
Springer
The notions of class, subclass and virtual procedure are fairly well understood and recognized as some of the key concepts in object-oriented programming. The possibility of modif...
114
click to vote
DRM
2005
Springer
15 years 9 months ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...
136
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...