1183 search results - page 129 / 237 » On flow-sensitive security types |
130
click to vote
OOPSLA
1992
Springer
15 years 8 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
133
click to vote
OOPSLA
1989
Springer
15 years 8 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...
171
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
139
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
127
click to vote
OOPSLA
2000
Springer
15 years 8 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...