A Formal Approach to Modelling and Verifying Resource