User Assisted Verification of Non-Repudiation and Similar Properties. - Padmanabhan Krishnan; Robert Bannerman (Security and Management, 2003)