443 search results - page 54 / 89 » Compensation-Aware Runtime Monitoring |
WORM
2003
14 years 9 days ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
IEEESCC
2009
IEEE
14 years 5 months ago
2009
IEEE
Although Web services are intended for short term, ad hoc collaborations, in practice many Web service compositions are offered longterm to customers. While the Web services makin...
WOLLIC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
ETS
2007
IEEE
14 years 5 months ago
2007
IEEE
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...
IAT
2007
IEEE
14 years 5 months ago
2007
IEEE
We apply advanced agent trust modeling techniques to identify malicious traffic in computer networks. Our work integrates four state-of-the-art techniques from anomaly detection,...