Proving Reliability of Image Processing Techniques in Digital Forensics Applications

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg7"><tr><td> </td><td>Inductive gspixel: Type :=</td></tr><tr><td> </td><td> |GSPixel (r c v: nat).</td></tr><tr><td> </td><td>Definition gsimage: = list gspixel.</td></tr></table></td></tr></table>

<div>Definition of grayscale pixel and image.</div>

Security and Communication Networks

alg7

Listing 7

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