Detail publikačního výsledku

A Knowledge-Belief Approach to the Security Protocol Analysis

OČENÁŠEK, P.; PAPEŽ, Z.

Originální název

A Knowledge-Belief Approach to the Security Protocol Analysis

Anglický název

A Knowledge-Belief Approach to the Security Protocol Analysis

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

The paper present the approach that can beused for the analysis of communication provided by the security protocols. The approach is based upon knowledge - belief analysis, where communication subject exchange messages and their sets of knowledge change as well as their expectations about the information that other participated subjects know.

Anglický abstrakt

The paper present the approach that can beused for the analysis of communication provided by the security protocols. The approach is based upon knowledge - belief analysis, where communication subject exchange messages and their sets of knowledge change as well as their expectations about the information that other participated subjects know.

Klíčová slova

knowledge, belief, security protocol, analysis, verification

Klíčová slova v angličtině

knowledge, belief, security protocol, analysis, verification

Autoři

OČENÁŠEK, P.; PAPEŽ, Z.

Rok RIV

2012

Vydáno

10.12.2010

Nakladatel

Institute of Electrical and Electronics Engineers

Místo

Chengdu

ISBN

978-1-4244-9674-7

Kniha

2010 International Conference on Communication and Vehicular Technology

Strany od

85

Strany do

88

Strany počet

4

BibTex

@inproceedings{BUT35107,
  author="Pavel {Očenášek} and Zdeněk {Papež}",
  title="A Knowledge-Belief Approach to the Security Protocol Analysis",
  booktitle="2010 International Conference on Communication and Vehicular Technology",
  year="2010",
  pages="85--88",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Chengdu",
  isbn="978-1-4244-9674-7"
}