Téma disertační práce

Školitel:Švéda Miroslav, prof. Ing., CSc.
Téma:Komunikační a bezpečnostní síťové protokoly a jejich verifikace
Zahájení v ak.r.:2003/2004
Obhajoba disertace:2010-01-11
Název disertace:Automatický návrh protokolů pro autentizaci a distribuci klíčů
Charakteristika řešeného problému:

  • Metody návrhu a implementace bezpečnostních protokolů vycházející z formálních specifikací pomocí temporálních logik a přechodových systémů
  • Návrh orientován na architekturu a protokoly interní a externí komunikace
  • Prototypování programových nástrojů
Součást výzkumného projektu:
Publikace související s vypsaným tématem:
2002RATTRAY Charles, ŠVÉDA Miroslav a ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5.
 ŠVÉDA Miroslav a VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. In: Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002, s. 1543-1548. ISBN 0-7803-7454-1.
 ŠVÉDA Miroslav a VRBA Radimír. An Integrated Framework for Sensor-Based Embedded Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, s. 195-202. ISBN 0-7695-1549-5.
 ŠVÉDA Miroslav. Rapid Prototyping of Embedded Distributed Systems. In: IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 320-323. ISBN 80-214-2094-4.

Vaše IPv4 adresa: 18.204.48.40
Přepnout na https