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

English Title

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

Type

conference paper

Language

en

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.

RIV year

2011

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

Edition

NEUVEDEN

Edition number

NEUVEDEN

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",
  annote="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.",
  address="Institute of Electrical and Electronics Engineers",
  booktitle="International Conference on INFORMATION TECHNOLOGY INTERFACES",
  chapter="76348",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute of Electrical and Electronics Engineers",
  year="2011",
  month="june",
  pages="1--4",
  publisher="Institute of Electrical and Electronics Engineers",
  type="conference paper"
}