Source Code Verification of a Secure Payment Applet

Fulltext present in this item

Fulltext: 76538.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Source Code Verification of a Secure Payment Applet
Author(s):	Jacobs, B. ; Oostdijk, M.D. ; Warnier, M.
Publication year:	2004
Source:	Journal of Logic and Algebraic Programming, vol. 58, iss. 1, (2004), pp. 107-120
ISSN:	1567-8326
DOI:	https://doi.org/10.1016/j.jlap.2003.07.007
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/76538
Display more details
Subject:	Security of Systems
Organization:	Neurology Security of Systems
Journal title:	Journal of Logic and Algebraic Programming
Volume:	vol. 58
Issue:	iss. 1
Page start:	p. 107
Page end:	p. 120

Faculty of Science [25938]
Faculty of Medical Sciences [65770]
Electronic publications [75035]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166224]
Academic output Radboud University