Publication result 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

English Title

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

Type

Paper in proceedings outside WoS and Scopus

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.

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

Key words in English

Protocol, design, analytic approach, automation.

Authors

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

RIV year

2012

Released

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