Design and analysis of a secure two-phase locking protocol | IEEE Conference Publication | IEEE Xplore