Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg23"><tr><td> </td><td>Definition modminus (n m: nat): nat \coloneq</td></tr><tr><td> </td><td>if n &lt; ? m then m − n else n − m.</td></tr><tr><td> </td><td>Notation “m – n” \coloneq (modminus m n).</td></tr></table></td></tr></table>

<div> Definition and notation of modminus operation.</div>

Security and Communication Networks

alg23

Listing 23

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