解决度量-验证时间差的一种差值证明方法 - 张谦; 贺也平; 孟策 (Tongxin xuebao)