Integrating verification, testing and learning for cryptographic protocols

Fulltext present in this item

Fulltext: 34596.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Integrating verification, testing and learning for cryptographic protocols
Author(s):	Oostdijk, Martijn ; Rusu, Vlad; Tretmans, Jan ; Vries, Rene de; Willemse, Tim
Publication year:	2007
In:	In proc. Integrated Formal Methods, pp. 538-557
Publisher:	Berlin ; New York : Springer
ISBN:	3540732098
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/34596
Display more details
Subject:	Informatics for Technical Applications Security of Systems Software Technology
Organization:	Security of Systems Informatics for Technical Applications
Book title:	In proc. Integrated Formal Methods
Page start:	p. 538
Page end:	p. 557

Faculty of Science [28790]
Electronic publications [86152]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [186209]
Academic output Radboud University