Literatura

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 dostępna w sieci tutaj.
  • K.J. Turner, ed. Using formal description techniques: Estelle, Lotos, SDL , John Wiley and Sons Ltd., 1993. Książka dostępna w sieci tutaj.
  • 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.