Detail publikace

A Knowledge-Belief Approach to the Security Protocol Analysis

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

Jazyk

en

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.

Anglický 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.

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