Conference paper

OČENÁŠEK Pavel and TRCHALÍK Roman. Approaches to the Security and Payment Protocols Design: State of the Art. In: International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, pp. 1-4. ISBN 978-953-7138-21-9.
Publication language:english
Original title:Approaches to the Security and Payment Protocols Design: State of the Art
Title (cs):Přístupy pro návrh bezpečnostních a platebních protokolů: aktuální stav
Pages:1-4
Proceedings:International Conference on INFORMATION TECHNOLOGY INTERFACES
Conference:33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Place:Dubrovnik, HR
Year:2011
ISBN:978-953-7138-21-9
Publisher:Institute of Electrical and Electronics Engineers
Keywords
Protocol, design, analytic approach, automation.
Annotation
This paper describes the state of the art of the security and payment protocol design. It gives an overview of the analytic design methods and follows with the approaches of design automation.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek and Roman Trchal{\'{i}}k},
   title = {Approaches to the Security and Payment Protocols Design:
	State of the Art},
   pages = {1--4},
   booktitle = {International Conference on INFORMATION TECHNOLOGY
	INTERFACES},
   year = {2011},
   location = {Dubrovnik, HR},
   publisher = {Institute of Electrical and Electronics Engineers},
   ISBN = {978-953-7138-21-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9626}
}

Your IPv4 address: 54.224.102.26
Switch to IPv6 connection

DNSSEC [dnssec]