733 search results - page 33 / 147 » Formal Reasoning About Intrusion Detection Systems |
124
click to vote
AIM
2004
15 years 1 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
NDSS
2006
IEEE
15 years 8 months ago
2006
IEEE
When dealing with malware infections, one of the first tasks is to find the processes that were involved in the attack. We introduce Malfor, a system that isolates those process...
111
click to vote
EURODAC
1990
IEEE
15 years 6 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
123
click to vote
FAC
2000
15 years 1 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
111
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...