Conference paper

OČENÁŠEK Pavel. On Inductive Approach in Security Protocol Verification. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 272-276. ISBN 80-214-2635-7.
Publication language:english
Original title:On Inductive Approach in Security Protocol Verification
Title (cs):Induktivní přístup při verifikaci bezpečnostních protokolů
Pages:272-276
Proceedings:Proceedings of the 10th Conference and Competition STUDENT EEICT 2004
Conference:Student EEICT 2004
Place:Brno, CZ
Year:2004
ISBN:80-214-2635-7
Publisher:Faculty of Electrical Engineering and Communication BUT
Keywords
inductive approach, communication protocols, security, formal verification
Annotation
This paper outlines some inductive methods that are used in verification of security protocols. The basic idea of inductive proof is outlined, followed by the description of the popular theorem prover Isabelle. The second part covers the description of spi-calculus which can be used
to analyze security protocols as concurrent processes over communication channels.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek},
   title = {On Inductive Approach in Security Protocol Verification},
   pages = {272--276},
   booktitle = {Proceedings of the 10th Conference and Competition STUDENT
	EEICT 2004},
   year = {2004},
   location = {Brno, CZ},
   publisher = {Faculty of Electrical Engineering and Communication BUT},
   ISBN = {80-214-2635-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7421}
}

Your IPv4 address: 54.81.108.205
Switch to IPv6 connection

DNSSEC [dnssec]