Publication detail

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

OČENÁŠEK, P. TRCHALÍK, R.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Protocol, design, analytic approach, automation.

Authors

OČENÁŠEK, P.; TRCHALÍK, R.

RIV year

2011

Released

27. 6. 2011

Publisher

Institute of Electrical and Electronics Engineers

Location

Dubrovnik

ISBN

978-953-7138-21-9

Book

International Conference on INFORMATION TECHNOLOGY INTERFACES

Pages from

1

Pages to

4

Pages count

4

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