Detail publikace

A Knowledge-Belief Approach to the Security Protocol Analysis

OČENÁŠEK, P.; PAPEŽ, Z. A Knowledge-Belief Approach to the Security Protocol Analysis. 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010. p. 85-88. ISBN: 978-1-4244-9674-7.
Název česky
Analýza protokolů založená na znalostech a předpokladech
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
Papež Zdeněk, Ing.
Klíčová slova

knowledge, belief, security protocol, analysis, verification

Abstrakt

Tento článek prezentuje metodu pro analýzu bezpečnostních protokolů založenou na znalostech a předpokladech.

Rok
2010
Strany
85–88
Sborník
2010 International Conference on Communication and Vehicular Technology
ISBN
978-1-4244-9674-7
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Chengdu
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"
}
Nahoru