1599 search results - page 165 / 320 » Program Analysis for Security and Privacy |
168
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
126
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
111
click to vote
OOPSLA
1997
Springer
15 years 8 months ago
1997
Springer
Class libraries are generally designed with an emphasis on versatility and extensibility. Applications that use a library typically exercise only part of the library’s functiona...
131
click to vote
OOPSLA
1990
Springer
15 years 8 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
135
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...