Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg25"><tr><td> </td><td>Lemma distcb_min: forall p q, citydist p q &gt;= 0.</td></tr><tr><td> </td><td>Proof.</td></tr><tr><td> </td><td>intros.</td></tr><tr><td> </td><td>destruct p as [r1 c1 col1].</td></tr><tr><td> </td><td>destruct q as [r2 c2 col2].</td></tr><tr><td> </td><td>simpl.</td></tr><tr><td> </td><td>lia.</td></tr><tr><td> </td><td>Qed.</td></tr></table></td></tr></table>

Security and Communication Networks

alg25

Listing 25

Listing 25: Proving Reliability of Image Processing Techniques in Digital Forensics Applications 