[Syllabus] [Teachig materials] [References, literature]

Security and fault tolerance in distributed systems

Dependable distributed systems: fault-tolerant commit protocols (two and three phase commit, PC-2, PC-3). Handling of replicated data: site quorum, quorum consensus, virtual partitions. Applications in data base systems.

Security standards (NIS etc), levels of security. Formal desription of standardized requirements (Bell-La Padula). Impelementation of secure communication in distributed systems: application of cryptographic protocolls (e.g. RSA), spread information based security.

Security hierarchy. Hardware support of intra and internet network security: firewalls, access logs and checks.

Typical security gaps in multiuser and distributed systems: protection rights violations, password stealing, aliasing root privileges etc. Some protection and intrusion checking systems. WEB security: servers, Java.

Unifyed view of the dependability attributes: system level diagnosis and consensus problems. Application in desgn for dependability systems.

Syllabus

Teaching Materials
  1. Fault-Tolerant Real-Time Distributed Systems
    46 pages PDF (60k) by István Majzik
  2. Software Safety Analysis
    84 pages PDF (113k) by István Majzik
  3. Formal Methods: Planning and Technology Insertion (draft)
    ? pages Zipped Powerpoint (18k) by Judit Jávorszky
  4. Formal Methods: A Practitioner's Companion (draft)
    ? pages Zipped Powerpoint (15k) by Judit Jávorszky
  5. Formal Methods for Life-Critical Software (draft)
    ? pages Zipped Powerpoint (10k) by Judit Jávorszky
  6. High Availability Server Architectures (draft)
    ? pages Zipped Powerpoint (608k) by Balázs Polgár, András Pataricza
  7. Formal verification using SPIN (draft)
    13 pages PDF in Hungarian (65k) by Judit Jávorszky
  8. Rollback Recovery in Distributed Systems
    69 pages Gzipped Postscript (238k) by Tamás Bartha
  9. Fault Tolerant CORBA
    ? slides Zipped PowerPoint (113k) by István Majzik

References, Literature