Detail publikačního výsledku

Specification of Traces in the Security Protocols Analysis

OČENÁŠEK, P.

Originální název

Specification of Traces in the Security Protocols Analysis

Anglický název

Specification of Traces in the Security Protocols Analysis

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

The paper demonstrates the security protocol analysis with the step-by-step approach. The analysis is performed from each party's point of view and is followed with the operational analysis of message exchanges.

Anglický abstrakt

The paper demonstrates the security protocol analysis with the step-by-step approach. The analysis is performed from each party's point of view and is followed with the operational analysis of message exchanges.

Klíčová slova

Needham Schroeder, security protocol, analysis, verificaton.

Klíčová slova v angličtině

Needham Schroeder, security protocol, analysis, verificaton.

Autoři

OČENÁŠEK, P.

Rok RIV

2012

Vydáno

01.12.2011

Nakladatel

Institute of Electrical and Electronics Engineers

Místo

Dubrovnik

ISBN

978-953-7138-20-2

Kniha

Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES

Strany od

115

Strany do

118

Strany počet

4

BibTex

@inproceedings{BUT76347,
  author="Pavel {Očenášek}",
  title="Specification of Traces in the Security Protocols Analysis",
  booktitle="Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES",
  year="2011",
  pages="115--118",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Dubrovnik",
  isbn="978-953-7138-20-2"
}