Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg30"><tr><td> </td><td>Theorem gsimage_eq: coqgsimage = gsimagecoq.</td></tr><tr><td> </td><td>Proof.</td></tr><tr><td> </td><td> unfold coqgsimage.</td></tr><tr><td> </td><td> unfold gsimagecoq.</td></tr><tr><td> </td><td> simpl.</td></tr><tr><td> </td><td> reflexivity.</td></tr><tr><td> </td><td>Qed.</td></tr></table></td></tr></table>

<div> Proof of equivalence of grayscale images.</div>

Security and Communication Networks

alg30

Listing 30

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