Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg27"><tr><td> </td><td>Lemma distcb_comm: forall p q, citydist p q = citydist q p.</td></tr></table></td></tr></table>

Security and Communication Networks

alg27

Listing 27

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