447 search results - page 58 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
138
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
160
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Web servers are ubiquitous, remotely accessible, and often misconfigured. In addition, custom web-based applications may introduce vulnerabilities that are overlooked even by the ...
171
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
193
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
166
click to vote
ESORICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...