447 search results - page 38 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
149
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...
165
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
143
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
158
click to vote
SACMAT
2009
ACM
16 years 18 days ago
2009
ACM
Publish-subscribe (pub-sub) systems are useful for many applications, including pervasive environments. In the latter context, however, great care must be taken to preserve the pr...
176
click to vote
OOPSLA
2009
Springer
16 years 20 days ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...