Seminarium "Protokoly komunikacyjne"

Strona seminarium magisterskiego PROTOKOŁY KOMUNIKACYJNE

Prowadzący: dr Sławomir Lasota, dr hab. Jerzy Tyszkiewicz

Termin: wtorki, 10:15, sala 5820

Opis seminarium: protokoly.html
Opis seminarium do drukowania. Do wyboru są: protokoly.pdf oraz protokoly.ps.

Lista rerefatow:

semestr zimowy 02/03
semestr letni 02/03

semestr zimowy 03/04

kiedy?	co?	kto?	slajdy
14 X	krótkie omówienie tematów prac magisterskich	zainteresowani
21 X	omówienia tematów prac magisterskich ciąg dalszy	j.w.
28 X	Algebra procesów CCS, bisymulacja	Paweł Kozioł	ppt html
4 XI	Protokoły wyboru lidera	Łukasz Puławski
18 i 25 XI	Logiki modalne dla procesów współbieżnych	Michał Matusiak
25 XI i 2 XII	Promela, SPIN	Mateusz Stachlewski
9 XII	Protokół CDMA	Marek Werulik
16 XII	Protokół PPP	Jarosław Bąbel
6 I 2004	Protokół WAP	Tomasz Mazan
13 I	GSM	Miłosz Tucholewski

semestr letni 03/04

kiedy?	co?	kto?	slajdy
10 II	Automaty z czasem, UPPAAL	Łukasz Osipiuk	pdf ps
17 II	przykłady weryfikacji protokołów w narzędziu UPPAAL	Paulina Kania	pdf ps
24 II	Krótkie omówienie prac magisterskich (projekt Verics)	Jakub Kowalski, Wiktor Miszuris	ps
2 III	Krótkie omówienie prac magisterskich	Marek Werulik, Robert Popławski
9 III	Krótkie omówienie prac magisterskich	Artur Cichocki, Mateusz Stachlewski, Filip Łukasik
16 III	Wprowadzenie do protokołów kryptograficznych	Mariusz Gądarowski
23 III	Podpis cyfrowy	Artur Cichocki	pdf
30 III	Zaawansowane protokoły kryptograficzne	Wojciech Ruszczewski i	ppt
6 IV	c.d.	Robert Popławski
20 IV	Protokoły w brydżu	Marcin Poturalski	zip
27 IV	---
4 V	Protokoły w brydżu (c.d.)	Marcin Poturalski
11 V	formularze ITS, tematy prac mag.
18 V	Kompresja danych w standardzie V.42.bis	Joanna Słowińska
25 V	Krótkie omówienie prac magisterskich	Grzegorz Kaczor, Stanisław Findeisen

Literatura:
- Praktyczne języki do modelowania i weryfikacji protokołów:
  - G.J.Holzmann SPIN Model Checker, Addison-Wesley 2003.
  - G.J. Holzmann Design and Validation of Computer Protocols , Prentice Hall, 1991. Książka ta jest dostępna w sieci tutaj.
  - K.J. Turner, ed. Using formal description techniques: Estelle, Lotos, SDL , John Wiley and Sons Ltd., 1993.
  - R. Lai, A. Jirachiefpattana Communication Protocol Specification and Verification, Kluwer, 1998.
- Specyfikacja i weryfikacja protokołów:
  - J.C.M. Beaten, ed. Applications of Process Algebra, CUP, 1990.
  - S. Mauw, G.J. Veltink Algebraic Specification of Communication Protocols, CUP 1993.
- Algebra procesów:
  - R. Milner Communication and Concurrency, Prentice Hall, 1995.
  - W. Fokkink Introduction to Process Algebra, Springer Verlag, 1999.
- Weryfikacja procesów współbieznych: sprawdzanie równoważności, sprawdzanie wlasności logicznych
  - E.M. Clarke, O. Grumberg, D.A. Peled Model Checking, MIT Press, 2002.
  - Bergstra, J., Ponse, A., Smolka, S., ed. Handbook of Process Algebra, Elsevier, 2001, rozdziały: 4, 6, 9.
  - Stirling, C. Modal and Temporal Properties of Processes, Springer-Verlag, 2001.
- Algorytmy rozproszone
  - N. Lynch Distributed Algorithms, Morgan Kaufmann, 1997.
  - G. Tel Introduction to distributed algorithms, Cambridge University Press, 1994.
- Protokoły ktyptograficzne
  - B. Schneier Kryptografia dla praktyków, WNT 2002.
  - P. Ryan Modelling and analysis of security protocols, Addison Wesley, 2000.

Sławomir Lasota, Jerzy Tyszkiewicz

Strona seminarium magisterskiego PROTOKOŁY KOMUNIKACYJNE

Prowadzący: dr Sławomir Lasota, dr hab. Jerzy Tyszkiewicz

Termin: wtorki, 10:15, sala 5820

kiedy?

co?

kto?

slajdy

kiedy?

co?

kto?

slajdy