Detail publikace

A Knowledge-Belief Approach to the Security Protocol Analysis

OČENÁŠEK Pavel a PAPEŽ Zdeněk. A Knowledge-Belief Approach to the Security Protocol Analysis. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Papež Zdeněk, Ing. (FIT VUT)
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
Konference
ICCVT 2010, Hanoi, VN
ISBN
978-1-4244-9674-7
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Chengdu, CN
BibTeX
@INPROCEEDINGS{FITPUB9420,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Zden\v{e}k Pape\v{z}",
   title = "A Knowledge-Belief Approach to the Security Protocol Analysis",
   pages = "85--88",
   booktitle = "2010 International Conference on Communication and Vehicular Technology",
   year = 2010,
   location = "Chengdu, CN",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-4244-9674-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9420"
}
Nahoru