Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg28"><tr><td> </td><td>Lemma citydist_trans: forall p q r</td></tr><tr><td> </td><td>citydist p r &lt;= citydist p q + citydist q r.</td></tr></table></td></tr></table>

<div> Proof of lemma citydist_trans.</div>

Security and Communication Networks

alg28

Listing 28

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