Sound and Complete Runtime Security Monitor for Application Software
We present a run-time security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled by an application specification. This is crucial because, even if the implementation is consistent with...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Published: |
2016
|
| Online Access: | http://hdl.handle.net/1721.1/105847 |