447 search results - page 31 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
139
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
160
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
Differentiating anomalous network activity from normal network traffic is difficult and tedious. A human analyst must search through vast amounts of data to find anomalous sequenc...
145
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
161
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
148
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Our goal is for robots to learn conceptual systems su cient for natural language and planning. The learning should be autonomous, without supervision. The rst steps in building a ...