1183 search results - page 161 / 237 » On flow-sensitive security types |
121
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...
131
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
124
click to vote
SAFECOMP
2001
Springer
15 years 8 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
140
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Numerous agencies and agent systems are being developed or portrayed as vehicles to deliver novel types of e-commerce services to users. However service agents in one agency are p...
117
click to vote
CCS
2000
ACM
15 years 8 months ago
2000
ACM
We describe a class of attacks that can compromise the privacy of users’ Web-browsing histories. The attacks allow a malicious Web site to determine whether or not the user has ...