Publisher's description
In-lining run-time monitors into untrusted binary programs via aspect-weaving is an increasingly popular technique for efficiently and flexibly securing untrusted mobile code. However, the complexity of the monitor implementation and in-lining process in these frameworks can lead to vulnerabilities and low assurance for code-consumers. This paper presents a machine-verification technique for aspect-oriented in-lined reference monitors based on abstract interpretation and model-checking. Rather than relying upon trusted advice, the system verifies semantic properties expressed in a purely declarative policy specification language. Experiments on a variety of real-world policies and Java applications demonstrate that the approach is practical and effective.
| Registration |
Required |
| File size |
180.670000KB |
| File format |
PDF |
Download for free now
ZDNet provides a centralised resource where you are able to download the latest and most popular whitepapers. We provide information on these resources, however all of them are developed and managed by 3rd party vendors. If you download resources from our whitepapers section, it is your responsibility to ensure that it is compatible with your system. Any issues when downloading, whether technical or billing related, is not the responsibility of ZDNet. If you have any issues in this regard, please contact the vendor directly.
