Editing Computer security (section)

===Secure coding===
{{Main|Secure coding}}

In software engineering, [[secure coding]] aims to guard against the accidental introduction of security vulnerabilities. It is also possible to create software designed from the ground up to be secure. Such systems are ''[[secure by design]]''. Beyond this, formal verification aims to prove the [[correctness (computer science)|correctness]] of the [[algorithms]] underlying a system;<ref>{{cite journal |last=Sanghavi |first=Alok |date=21 May 2010 |title=What is formal verification? |journal=EE Times_Asia}}</ref>
important for [[cryptographic protocol]]s for example.