Hoc Est Qui Sumus (discoflamingo) wrote,
Hoc Est Qui Sumus

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


  • It's Two Minutes to Midnight, If Anyone Cares

    21:27 Currently looking for a Sousa march that says "I Am a Dashing, Sexy Pirate!". How did my life end up here? #Automatically shipped by…

  • Good sing-along songs?

    O Gentle Readers! I am trying to come up with good songs to practice on my acoustic guitar. Ideally, they are the type of songs that are fun to sing…

  • It can always look up

    Remember: the man who played Richard M. Nixon in Frost/Nixon is the same man who played Skeletor in The Masters of the Universe.

  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.