Log in

No account? Create an account
21 November 2002 @ 04:47 pm
Random Notes on Randomer Paper  

To Learn Programming Languages - Construct Five Volumes of "Teach Yourslef X"

  1. Procedural Programming: C, Pascal, BASIC, and FORTRAN
  2. OOP: Smalltalk, C++, Java, Ruby, Python, and Objective-C
  3. Functional Programming: Scheme, LISP, SML, and OCaml
  4. Logic Programming: Prolog and Mercury
  5. Glue (Scripting) Programming: Perl, Tcl, Bash, Bourne, and Korn

Security Engineering and Software Auditing / Security and Correctness: A Survey of Formal and Heuristic Methods / Tiger Team 23


1.Historical overview of the Topic, Motivation, and Introduction
a. Examples
b. Current Methodologies Overview
c. Key Figures, Concepts, Personae, Careers/Jobs/Hobbies
d. Legal Issues

2. Security, Correctness, and Verification
a. What is Security? (Security Vs. Correctness)
b. What about Testing?
c. What abut Formal Verification?
d. Confining ourselves to UNIX
e. What about Cryptography?
- Confidentiality, Authentication, Integrity, Non-repudiation

3. Security Problems
a. Buffer Overflows
b. Access Control
c. Race Conditions
d. Resource Starvation
e. Confused Deputies

4. Software Engineering, Software Testing

5. Software Auditing, Penetration Testing

7. Formal Methods
a. Z and the Vienna Development Model
b.Proof-Carrying Code
c. Temporal Logic Models

8. Conclusion

knsp.tv - Consumer watch talk, www.galidor.com, www.madtv.com, www.pbs.org (Red-Green), www.fengshui.org
Learn how to make afghans
Outlaw Star, Only the Lonely - Ally Sheedy, John Candy
Rockin' Instrumentals (50's-era bop) - 26.98 tvmusic4u.com, 1-800-643-7997
Swan Lake

See You Space Cowboy-
Life is but a Dream,
You'll Carry that Weight.

"The first rule of Government Contracting - Why have one, when you can have two for twice the price?" --- Contact

"I know what you're thinking - he's just a paranoid reactionary whose father beat him with a bible every day and maybe that's true but it doesn't make me wrong!" --- Dave Foley, Kids in the Hall

Jim Croce, Harry Chapin (Cat's Cradle), Don McLean (American Pie, Vincent), Jackie DeShannon, Gary Lewis and the Playboys, Petula Clark, Aquarius/Let The Sunshine In, The 5th Dimension, The Byrds, The Hollies, Wayne Fontana and the Mindbenders, Marvin Gaye, The Monkees, The Turtles, Percy Sledge, The Roghteus Brothers, Moody Blues, Nilssn, The Temptations, Johnny Cash, The Supremes

How do you make metal jewelry?
A coomprehensive guide on soapstone carving
Where do I find those clasps that go on your lapels
A textbook on how automobiles work, and how to fix them
" " Pistol, shotguns
How do you weave and dye fabric
Crochet? Knit? (internet and Library)
Does anybody know if ANYBODY EVER wrote a good book about learning how to play the concertina or harmonica?
Pirate/Calypso/Sea Chanties/Music, and Lyrics