Secured Logics