Partial model checking and theorem proving for ensuring security properties | IEEE Conference Publication | IEEE Xplore