诉讼证明理念初探

我国学界对于诉讼证明理念的研究尚处于起步阶段。诉讼证明理念可以从证明目的、证明价值、证明模式和证明效率这四个维度来加以把握。近年来有关客观真实与法律真实的争论,引发了学界对传统诉讼证明理念的深刻反思。现代诉讼证明理念的内涵主要包括四个方面,即真实发现与价值选择相结合,形式正义与实质正义并重,法定证明与自由证明相统一,以及真实优先、兼顾效率。

基于批处理的远程证明机制

针对远程证明中存在的效率问题,在现有可信计算模块(TPM)的基础上,提出了批处理方案,将短时间段内到达的请求集中进行处理,并利用Merkle树进一步减少批处理方案中通信量增长的不足.在可信移动代理服务(MAS)中的应用表明,一定时间内到达的请求越多,基于批处理的远程证明的效率提高的程度越好.

A Public Verifiable Identity Based Signcryption in the Random Oracle Model

Since Libert and Quisquater's identity based signcryption scheme cannot provide public verifiability after research, the paper proposes a new identity based signcryption scheme. The scheme uses quadratic residue and pairings over elliptic curves to realize public verifiability. By analysis the scheme is proved to be more efficient than Libert and Quisquater's scheme. Moreover, a security proof of the original scheme is presented in the random oracle model.