Membership Proof and Verification in Authenticated Skip Lists Based on Heap

How to keep cloud data intact and available to users is a problem to be solved. Authenticated skip list is an important data structure used in cloud data integrity verification. How to get the membership proof of the element in authenticated skip list efficiently is an important part of authentication. Kaouthar Blibech and Alban Gabillon proposed a head proof and a tail proof algorithms for the membership proof of elements in the authenticated skip list. However, the proposed algorithms are uncorrelated each other and need plateau function. We propose a new algorithm for computing the membership proof for elements in the authenticated skip list by using two stacks, one is for storing traversal chain of leaf node, the other is for storing authentication path for the leaf. The proposed algorithm is simple and effective without needing plateau function. It can also be applicable for other similar binary hash trees.

网络条件下大量取证的简化应当满足构成要件的证明标准——评上海步升大风音乐文化传播有限公司诉北京豆网科技有限公司侵犯信息网络传播权纠纷案

由于权利人对涉案歌曲公证取证的过度简化,导致其未能举证证明被告的涉案行为符合侵害信息网络传播权行为的全部构成要件,二审法院据此认定其未尽证明责任。一审法院根据高度盖然性原则认定权利人通过嗅探软件下载涉案歌曲即可证明被告向公众提供了涉案歌曲,存在错误,二审法院予以纠正。

也论事实、命题与证据

本文认为 ,事实不是感觉和知觉 ,不是断定和陈述 ,不是理论原理和知识。事实是客观存在的事物及其运动、发展、变化、变动以及相互关系和相互作用的全部情况和过程。本文认为 ,命题不是事实的形象 ,而是反映事实的形式 ,它不能使事实具有主观性 ,也不能同事实构成统一的有机体和混合物 ,更不能成为决定事实性质、为事实所依赖的东西。本文指出 ,证据并不是命题 ,认为把命题看作证据是形式证据观 ,把事实本身看作证据是实质证据观 ,主张废弃形式证据观 ,确立实质证据观。本文指出 ,证据也不是证明的论据 ,认为把证据等同于论据 ,就把证据学等同于逻辑学了 ,这样就把证据学一笔抹杀了。本文提出了证明的构成理论 ,指出证明由主体、客体和证明活动这样三大要素构成 ,认为证据不在主体中 ,也不在证明本身 ,证据只能在客体中。本文最后指出 ,与待证事实相关联的一切事实都是证据。