IBL Tool - Digital Library

Digital Library

Journal description

All volumes of the corresponding journal

All issues of the corresponding volume

All articles of the corresponding issues

10 results found

no	title	author	magazine	year	volume	issue	page(s)	type
1	Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically	Goubault-Larrecq, Jean		2005	64	2	p. 219-251 33 p.	article
2	A static analysis of cryptographic processes: the denotational approach	Aziz, Benjamin		2005	64	2	p. 285-320 36 p.	article
3	Author Index – Volume 64 (2005)			2005	64	2	p. 321-322 2 p.	article
4	Contents			2005	64	2	p. v- 1 p.	article
5	Contract signing, optimism, and advantage	Chadha, Rohit		2005	64	2	p. 189-218 30 p.	article
6	Editorial board			2005	64	2	p. CO2- 1 p.	article
7	Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols	Amadio, Roberto M.		2005	64	2	p. 155- 1 p.	article
8	Keyword Index – Volume 64 (2005)			2005	64	2	p. 323- 1 p.	article
9	Unifying simulatability definitions in cryptographic systems under different timing assumptions	Backes, Michael		2005	64	2	p. 157-188 32 p.	article
10	Verifying security protocols with PVS: widening the rank function approach	Evans, Neil		2005	64	2	p. 253-284 32 p.	article

10 results found

Koninklijke Bibliotheek - National Library of the Netherlands