Publication Details

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

OČENÁŠEK Pavel and 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, pp. 1-4. ISBN 978-953-7138-21-9.

Czech title

Přístupy pro návrh bezpečnostních a platebních protokolů: aktuální stav

Type

conference paper

Language

english

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Trchalík Roman, Mgr., Ph.D. (DIFS FIT BUT)

Keywords

Protocol, design, analytic approach, automation.

Abstract

This paper describes the state of the art of the security and payment protocol design. It gives an overview of the analytic design methods and follows with the approaches of design automation.

Published

2011

Pages

1-4

Proceedings

International Conference on INFORMATION TECHNOLOGY INTERFACES

Conference

33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Cavtat/Dubrovník, HR

ISBN

978-953-7138-21-9

Publisher

Institute of Electrical and Electronics Engineers

Place

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"
}