Článek ve sborníku konference

 
Očenášek, P., Papež, Z.: A Knowledge-Belief Approach to the Security Protocol Analysis, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 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?id=9420}
}