Security and Correctness: two different concepts.

A few years ago I started researching on Software correctness. I was actually interested in software security, but I was unaware of the difference at the time. Now, after researching in both areas I can finally discuss the difference between those two concepts.

What does it take to mathematically define if a specific program is correct and/or secure?

Fist I will talk about correctness, then security.

We say that a program is correct if it respects its specification.

Thus, it …

concepts correctness programming security todayilearned