Detail publikace
Analysis of Authentication Protocols with Scyter: Case Study
OČENÁŠEK, P.
Originální název
Analysis of Authentication Protocols with Scyter: Case Study
Anglický název
Analysis of Authentication Protocols with Scyter: Case Study
Jazyk
en
Originální abstrakt
The paper deals with the authentication protocol analysis using Scyter. The paper also includes a case-study that shows the analysis process step-by-step.
Anglický abstrakt
The paper deals with the authentication protocol analysis using Scyter. The paper also includes a case-study that shows the analysis process step-by-step.
Dokumenty
BibTex
@inproceedings{BUT76280,
author="Pavel {Očenášek}",
title="Analysis of Authentication Protocols with Scyter: Case Study",
annote="The paper deals with the authentication protocol analysis using Scyter. The paper
also includes a case-study that shows the analysis process step-by-step.",
address="Springer Verlag",
booktitle="Human Interface and the Management of Information. Interacting with Information",
chapter="76280",
edition="Lecture Notes in Computer Science",
howpublished="print",
institution="Springer Verlag",
year="2011",
month="march",
pages="359--365",
publisher="Springer Verlag",
type="conference paper"
}