447 search results - page 20 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Through a variety of means, including a range of browser cache methods and inspecting the color of a visited hyperlink, client-side browser state can be exploited to track users a...
SP
2000
IEEE
15 years 1 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
OOPSLA
1989
Springer
15 years 1 months ago
1989
Springer
This paper uses the persistent object system PCLOS to survey some problems and bene ts of object persistence. The system is analyzed along several relevant dimensions. PCLOS provi...
CSFW
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...