1599 search results - page 80 / 320 » Program Analysis for Security and Privacy |
132
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
118
Voted
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
141
click to vote
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
145
click to vote
SAFECOMP
2009
Springer
15 years 8 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
125
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Stateful, in-depth, inline traffic analysis for intrusion detection and prevention is growing increasingly more difficult as the data rates of modern networks rise. Yet it remai...