CSC 593: Resources
Home
Announcements
Schedule
Readings
Web Sites
Instructor
Core Links
Build Security In
Microsoft Security Development Center
Open Web Application Security Project
Buffer Overflows
Buffer Overflow Java Demo Application
badc0ded
buffer overflow papers
GCC extension for protecting applications from stack-smashing attacks
Cryptography
NKU Cryptography Class
Handbook of Applied Cryptography
(online book)
Kerberos: A Dialog in Four Scenes
The Risks of Key Escrow
Cryptographic Random Numbers
Design Security
Security Patterns
PatternShare Security Patterns
Journals and Indexes
IEEE Security
(conference and journal references, including
Cipher
)
Phrack
(online hacker journal)
Risks Digest
Language Security
CCured
Cyclone
Java 1.5 Security
SPARK Ada
Secure Programming
Secure Programming for Linux and UNIX Howto
secureprogramming.com Portal
Threat Modeling
Common Criteria 3.0
Threat Modeling Wiki
Validation and Verification
Center for Software Testing Education & Research
Langley Formal Methods
Static Analysis Tools
Vulnerabilities
Bugtraq List
(and
Bugtraq Vulnerability DB
)
CERT
NVD
(National Vulnerability Database)
©2006
James Walden, Ph.D.