Semantics and Logic for Security Protocols

Fulltext present in this item

Fulltext: 75885.pdf

Format: PDF

Description: author's version

Title:	Semantics and Logic for Security Protocols
Author(s):	Jacobs, B. ; Hasuo, I.
Publication year:	2009
Source:	Journal of Computer Security, vol. 17, iss. 6, (2009), pp. 909-944
Number of Pages:	36 p.
ISSN:	0926-227X
Related links:	http://repository.ubn.ru.nl/bitstream/2066/75885/1/75885.pdf
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/75885
Display more details
Subject:	Digital Security
Organization:	Security of Systems Digital Security
Former Organization:	Biophysics
Journal title:	Journal of Computer Security
Volume:	vol. 17
Issue:	iss. 6
Page start:	p. 909
Page end:	p. 944

Faculty of Science [25931]
Open Access publications [48027]
Freely accessible full text publications
Electronic publications [74967]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166213]
Academic output Radboud University