Padmanabhan Krishnan Robert Bannerman User Assisted Verification of Non-Repudiation and Similar Properties. 161-170 2003 conf/csreaSAM/2003-1 Security and Management db/conf/csreaSAM/csreaSAM2003-1.html#KrishnanB03