Detail publikace

Specification of Traces in the Security Protocols Analysis

Originální název

Specification of Traces in the Security Protocols Analysis

Anglický název

Specification of Traces in the Security Protocols Analysis

Jazyk

en

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.

BibTex


@inproceedings{BUT76347,
  author="Pavel {Očenášek}",
  title="Specification of Traces in the Security Protocols Analysis",
  annote="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.",
  address="Institute of Electrical and Electronics Engineers",
  booktitle="Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES",
  chapter="76347",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute of Electrical and Electronics Engineers",
  year="2011",
  month="december",
  pages="115--118",
  publisher="Institute of Electrical and Electronics Engineers",
  type="conference paper"
}