Detail publikace

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

OČENÁŠEK, P.; TRCHALÍK, R. Approaches to the Security and Payment Protocols Design: State of the Art. International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 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
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Trchalík Roman, Mgr., Ph.D. (CK-SZZ)
Klíčová slova

Protocol, design, analytic approach, automation.

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
ISBN
978-953-7138-21-9
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Dubrovnik
BibTeX 
@inproceedings{BUT76348,
  author="Pavel {Očenášek} and Roman {Trchalík}",
  title="Approaches to the Security and Payment Protocols Design: State of the Art",
  booktitle="International Conference on INFORMATION TECHNOLOGY INTERFACES",
  year="2011",
  pages="1--4",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Dubrovnik",
  isbn="978-953-7138-21-9"
}
Nahoru