70 search results - page 12 / 14 » Combining Monitors for Runtime System Verification |
CCS
2009
ACM
14 years 7 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
ETS
2007
IEEE
14 years 1 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 1 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,...
ICTCS
2005
Springer
14 years 5 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
ICECCS
2007
IEEE
13 years 10 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...