all
Table of Contents
- 1.
4040-840 Security and Trust -- 20112
- 2.
General Information
- 3.
Introduction
- 3.1.
Access
- 3.2.
Data
- 3.3.
User ID 0
- 3.4.
S-Bit
- 3.5.
How could printing on a UNIX system work?
- 3.6.
Compromising of a System
- 3.7.
Compromising of a System
- 3.8.
Security from a different Point of View
- 3.9.
Famous Security Flaws
- 3.10.
Attacks
- 3.11.
Generic Security Attacks
- 3.12.
Compilation and Execution
- 3.13.
Library Calls
- 3.14.
Example
- 4.
Intruders
- 5.
Operating System Security
- 6.
Authentication Application
- 7.
Electronic Mail Security
- 7.1.
History
- 7.2.
Overview
- 7.3.
What has Zimmermann Done?
- 7.4.
Why was it a Sucess?
- 7.5.
Public-key Cryptography/Asymmetric Cryptography,
- 7.6.
Digital Signatures
- 7.7.
Operational Description: Confidelity
- 7.8.
Operational Description: Authentication
- 7.9.
Operational Description: E Mail Compatability
- 7.10.
Radix-64 Conversion
- 7.11.
Operational Description: Compression
- 7.12.
Cryptographic Keys and Key Rings
- 7.13.
General Format of a PGP Message
- 7.14.
Operational Description: Message Generation
- 7.15.
Operational Description: Message Reception
- 7.16.
Operational Description: Public Key Management
- 7.17.
Operational Description: Certification Authority
- 7.18.
PGP certificate format
- 7.19.
Validity and Trust
- 7.20.
Operational Description: Trust Models
- 7.21.
Trust Notion on PGP
- 7.22.
- 7.23.
Net Trust
- 7.24.
Security Quality
- 7.25.
Questions
- 7.26.
Comments
- 8.
Attacks
- 8.1.
IP and Copyrighted Goods
- 8.2.
Kim Dotcom - Kim Schmitz
- 8.3.
Piracy - SOPA
- 8.4.
Protect IP Act - PIPA
- 8.5.
Byzantine Attacks
- 9.
Public Key Infrastructure
- 10.
Trusted Computing Base/Platform
- 10.1.
Definition
- 10.2.
Computers in Airplanes
- 10.3.
Computers in the Medical Field
- 10.4.
Computers in Safety-Critical Applications
- 10.5.
Space Shuttle
- 10.6.
Languages
- 10.7.
Fundamental Objectives
- 10.8.
Bruce Schneir on Security
- 10.9.
Formal Verification for Software
- 10.10.
Players
- 10.11.
Required
- 10.12.
Micro-Kernel Architecture
- 10.13.
Levels
- 10.14.
Fault-Tolerant Software Design Approaches
- 10.15.
The Gemini Digital Computer: First Machine in Orbit
- 10.16.
Case Study: Space Shuttle
- 10.17.
Developing Software for the Space Shuttle
- 10.18.
Claasification
- 10.19.
B3: Mandatory Protection: XTS-400
- 10.20.
A1: Verified Protection: Scomp
- 10.21.
XTS-400
- 10.22.
System Architecture
- 10.23.
Criticism
- 10.24.
Use Case
- 10.25.
Questions
- 10.26.
More Reading
- 11.
Loose Ends
- 12.
TBD
- 13.
TBD
- 14.
TBD
- 15.
TBD
- 16.
TBD
- 17.
TBD
- 18.
TBD
- 19.
TBD
- 20.
TBD
- 21.
TBD
- 22.
TBD
- 23.
TBD
- 24.
TBD
- 25.
TBD
- 26.
TBD
- 27.
TBD
- 28.
TBD
- 29.
TBD
- 30.
Stuxnet
- 31.
Trust
- 32.
Cryptographic Hash Case Studies - III/IV
- 33.
Trust Mechanisms for Ad-hoc Networks
- 34.
Trusted Computing
- 35.
Cryptographic Hash Case Studies - VII
- 36.
Cryptographic Hash Case Studies - VIII
- 37.
Examination I-- Jan/20/2012
Created by
unroff,
java2html &
& hp-tools.
© by hpb. All Rights Reserved (2012).
It is not allowed to print these pages on a CAST printer.
Last modified 22/February/12