Conference paper

 
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, p. 85-88, ISBN 978-1-4244-9674-7
Publication language:english
Original title:A Knowledge-Belief Approach to the Security Protocol Analysis
Title (cs):Analýza protokolů založená na znalostech a předpokladech
Pages:85-88
Proceedings:2010 International Conference on Communication and Vehicular Technology
Conference:ICCVT 2010
Place:Chengdu, CN
Year:2010
ISBN:978-1-4244-9674-7
Publisher:Institute of Electrical and Electronics Engineers
Keywords
knowledge, belief, security protocol, analysis, verification
Annotation
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{
   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}
}