Publication Details

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.
Czech title
Přístupy pro návrh bezpečnostních a platebních protokolů: aktuální stav
Type
conference paper
Language
English
Authors
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
ISBN
978-953-7138-21-9
Publisher
Institute of Electrical and Electronics Engineers
Place
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"
}
Back to top