Publication detail

A Knowledge-Belief Approach to the Security Protocol Analysis

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

Original Title

A Knowledge-Belief Approach to the Security Protocol Analysis

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

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.

Keywords

knowledge, belief, security protocol, analysis, verification

Authors

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

RIV year

2010

Released

10. 12. 2010

Publisher

Institute of Electrical and Electronics Engineers

Location

Chengdu

ISBN

978-1-4244-9674-7

Book

2010 International Conference on Communication and Vehicular Technology

Pages from

85

Pages to

88

Pages count

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