Detail publikace

Approaches to the Security and Payment Protocols Design: State of the Art

OČENÁŠEK Pavel a TRCHALÍK Roman. Approaches to the Security and Payment Protocols Design: State of the Art. In: International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, s. 1-4. ISBN 978-953-7138-21-9.
Název česky
Přístupy pro návrh bezpečnostních a platebních protokolů: aktuální stav
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT)
Abstrakt

Tento článek popisuje aktuální stav přístupů pro návrh bezpečnostních a platebních protokolů. Předkládá přehled analytických návrhových metod a pokračuje přístupy, které se používají pro automatizaci návrhu.

Rok
2011
Strany
1-4
Sborník
International Conference on INFORMATION TECHNOLOGY INTERFACES
Konference
33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Cavtat/Dubrovník, HR
ISBN
978-953-7138-21-9
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Dubrovnik, HR
BibTeX 
@INPROCEEDINGS{FITPUB9626,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Roman Trchal\'{i}k",
   title = "Approaches to the Security and Payment Protocols Design: State of the Art",
   pages = "1--4",
   booktitle = "International Conference on INFORMATION TECHNOLOGY INTERFACES",
   year = 2011,
   location = "Dubrovnik, HR",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-953-7138-21-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9626"
}
Nahoru