A look at the MS-SQL worm
Posted Jan 30, 2003 9:21 UTC (Thu) by skellba
In reply to: A look at the MS-SQL worm
Parent article: A look at the MS-SQL worm
formal proof of correctness of programs is pratically impossible: the task is too big to be done. It would be better to not use programming languages like C or C++ which are inherently prone to buffer overflows and memory overwrites.
What me really concerns is that there are so many database-servers obviously not behind a firewall: this is definitiv a problem of understanding network security and missing knowledge about Microsoft products.
to post comments)