Quote: correct if correct input leads to correct output; secure if arbitrary inputs do not have undesired consequences

Quotation Skeleton

One qualitative difference between security properties and other … approximate … @ Correctness: A software system is correct if … [e.g., for all inputs in the domain of f,] the output … has a certain property. @ Security: A software … information or corruption of the state of the … [e.g., a function is insecure if an invalid input overwrites the run-time stack]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: type-safe and secure languages (42 items)
Group: security   (23 topics, 802 quotes)