Assertion-Based Monitors For Run-Time Security Validation