Approximating Non-interference and Erasure in Rewriting Logic | IEEE Conference Publication | IEEE Xplore