Detail publikace

Specification of Traces in the Security Protocols Analysis

OČENÁŠEK, P.

Originální název

Specification of Traces in the Security Protocols Analysis

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Needham Schroeder, security protocol, analysis, verificaton.

Autoři

OČENÁŠEK, P.

Rok RIV

2011

Vydáno

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