979 search results - page 101 / 196 » Developing Dynamic Security Policies |
133
click to vote
ESORICS
2009
Springer
15 years 7 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
144
click to vote
IMC
2010
ACM
15 years 1 months ago
2010
ACM
In this paper we conduct an extensive and in-depth study of traffic exchanged between YouTube data centers and its users, as seen from the perspective of a tier-1 ISP in Spring 20...
138
Voted
AGENTS
1999
Springer
15 years 8 months ago
1999
Springer
For a dynamic, evolving multiagent auction, we have developed an adaptive agent bidding strategy (called the p-strategy) based on stochastic modeling. The p-strategy takes into ac...
244
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
153
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...