Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg21"><tr><td> </td><td>Lemma negpix_involution: forall pix: pixel,</td></tr><tr><td> </td><td> negpix (negpix pix) = pix.</td></tr><tr><td> </td><td>Proof.</td></tr><tr><td> </td><td> intro.</td></tr><tr><td> </td><td> destruct pix.</td></tr><tr><td> </td><td> simpl.</td></tr><tr><td> </td><td> induction col.</td></tr><tr><td> </td><td> + simpl. auto.</td></tr><tr><td> </td><td> + simpl. auto.</td></tr><tr><td> </td><td>Qed.</td></tr></table></td></tr></table>

<div> Involution property of pixels.</div>

Security and Communication Networks

alg21

Listing 21

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