1599 search results - page 101 / 320 » Program Analysis for Security and Privacy |
126
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
119
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
OOPSLA
1992
Springer
15 years 8 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
116
click to vote
OOPSLA
1989
Springer
15 years 7 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
127
Voted
SICHERHEIT
2010
15 years 1 months ago
2010
A CAPTCHA is a program that generates challenges that are easy to solve for humans but difficult to solve for computers. The most common CAPTCHAs today are text-based ones where a ...