Correctness vs Security Correctness: satisfy specifications For reasonable inputs get reasonable output Security: resist attacks For unreasonable inputs output not completely disastrous Main difference Active interference from the environment5 Correctness vs. Security • Correctness: satisfy specifications – For reasonable inputs, get reasonable output • Security: resist attacks – For unreasonable inputs, output not completely disastrous • Main difference – Active interference from the environment