2236 search results - page 305 / 448 » Intrusion detection techniques and approaches |
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
HICSS
2011
IEEE
13 years 2 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
CADE
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
ICIAP
2001
Springer
14 years 10 months ago
2001
Springer
This paper describes a technique to represent relevant information of tree-like structures in a compact way. The technique is general. In the application described here, the image...