Conference paper

OČENÁŠEK Pavel and HRANÁČ Jakub. Regression Based Logic for Authentication Protocol Design. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, pp. 89-92. ISBN 978-1-4244-9674-7.
Publication language:english
Original title:Regression Based Logic for Authentication Protocol Design
Title (cs):Logika pro autentizační protokoly založená na regresních technikách
Pages:89-92
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
security protocol, verification, design, automation
Annotation
This paper describes one of possible implementations of method used for protocol design described in a paper from 1998 by L. Buttyán, S. Staamann and U. Wilhelm which proposes a backward search (regression) when synthesizing an authentication protocol. We focus on automation of this method and enhancing it by adding an extension to it introducing message ownership of messages.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek and Jakub
	Hran{\'{a}}{\v{c}}},
   title = {Regression Based Logic for Authentication Protocol Design},
   pages = {89--92},
   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=9419}
}

Your IPv4 address: 54.198.151.108
Switch to IPv6 connection

DNSSEC [dnssec]