computer aided instruction; cryptographic protocols; law; PROMELA; SPIN tool; answer-scripts; e-examination question paper exchange; electronic examination systems; fair protocol; formal modelling; legal compliance; nonrepudiable protocol; security protocols; Computers; Educational institutions; Electronic mail; Protocols; Receivers; Security; Answer-script; E-Examination; Faireness; Nonrepudiation; Question paper; Security;
机译:无需受信任的第三方即可获得公平,不可否认的经过验证的电子邮件的通用系统
机译:Web服务中间件的设计和实现,以支持公平的不可重复的交互
机译:基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
机译:不可尊重的Web服务互动的公平交换议定书的严格执行情况驴一个案例研究
机译:“公平”的BPEL使用不可否认协议处理事务。
机译:促进不同国家之间交换现实生活数据以回答初级保健研究问题:ICRPG开展的UNLOCK研究方案
机译:严格执行不可否认Web服务交互的公平交换协议 - 案例研究
机译:一系列公平交换协议的系统发展