By defining and deducing the reliabilities of forensic methods and data,the paper studies the formalized method of proving reliability.

• 通过对取证方法有效性和所取数据有效性进行一定的定义和推导,研究了电子数据取证有效性的形式化证明方法。