RE:Writing Secure code[update]

From: Pavel Kankovsky (peakat_private)
Date: Fri Jan 03 2003 - 11:00:26 PST

  • Next message: Jeff Williams @ Aspect: "Re: JDBC PreparedStatements, Java Data Objects/O-R mapping, and SQL Injection"

    On Wed, 1 Jan 2003, charles lindsay wrote:
    
    > Personally, I have very little faith in proof of correctness (a baase
    > requirement for A1), as most proofs tended to be larger than the code
    > they were trying to prove.
    
    Verification of formal proofs is trivial and a trained monkey can do it
    (assuming a sane logic system with a sane proof system is used).
    
    --Pavel Kankovsky aka Peak  [ Boycott Microsoft--http://www.vcnet.com/bms ]
    "Resistance is futile. Open your source code and prepare for assimilation."
    



    This archive was generated by hypermail 2b30 : Fri Jan 03 2003 - 18:55:50 PST