Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:A Knowledge-Belief Approach to the Security Protocol Analysis
Název (cs):Analýza protokolů založená na znalostech a předpokladech
Strany:85-88
Sborník:2010 International Conference on Communication and Vehicular Technology
Konference:ICCVT 2010
Místo vydání:Chengdu, CN
Rok:2010
ISBN:978-1-4244-9674-7
Vydavatel:Institute of Electrical and Electronics Engineers
Klíčová slova
knowledge, belief, security protocol, analysis, verification
Anotace
Tento článek prezentuje metodu pro analýzu bezpečnostních protokolů založenou na znalostech a předpokladech.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenášek and Zdeněk Papež},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9420}
}

Vaše IPv4 adresa: 54.90.46.227
Přepnout na IPv6 spojení

DNSSEC [dnssec]