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

English Title

A Knowledge-Belief Approach to the Security Protocol Analysis

Type

conference paper

Language

en

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.

English 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

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

Edition

NEUVEDEN

Edition number

NEUVEDEN

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",
  annote="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.",
  address="Institute of Electrical and Electronics Engineers",
  booktitle="2010 International Conference on Communication and Vehicular Technology",
  chapter="35107",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute of Electrical and Electronics Engineers",
  year="2010",
  month="december",
  pages="85--88",
  publisher="Institute of Electrical and Electronics Engineers",
  type="conference paper"
}