Detail publikace

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

Typ

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

Jazyk

angličtina

Originální abstrakt

The paper present the approach that can be used 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

Autoři

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

Rok RIV

2010

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