Bugs in the programs

• Main Author: Pethia, Richard D.
• Format: Conference Proceeding
• Language: English
• Subjects: General and reference > Cross-computing tools and techniques > Verification; Software and its engineering > Software creation and management > Software development process management; Software and its engineering > Software creation and management > Software verification and validation > Formal software verification; Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging; Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification; Theory of computation > Semantics and reasoning > Program reasoning > Program verification
• ISSN: 0163-5948
• DOI: 10.1145/355045.355056

Security on the Internet is receiving increasing attention as more and more organizations are becoming dependent on the network. The use of the Internet for electronic commerce, government operations, research activities, and entertainment has now reached the point that attacks against the network and the systems connected to it have become major news items. While the press highlights a few high-profile incidents, the actual number of attacks is much higher. The CERT Coordination Center works with the Internet community to deal with incidents and responded to over 8,000 incidents in 1999. The incident projection for year 2000 is 17,000 to 20,000. At the same time, the amount of damage resulting from the incidents is also increasing. While the press often focuses on cases of web site graffiti, more serious cases of financial fraud, extortion, and debilitating denial of service attacks are being reported at increasing rates.