Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella B´eguelin INRIA Sophia Antipolis, 2004 Route des Lucioles, 06902 Sophia Antipolis, France

First Page		Document Content
Date: 2013-03-13 12:33:24 Smart cards Computing Cryptography Security engineering Java Card GlobalPlatform Subscriber identity module Credit card Card reader Formal methods KeY Predicate transformer semantics		Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella B´eguelin INRIA Sophia Antipolis, 2004 Route des Lucioles, 06902 Sophia Antipolis, France Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 202,60 KB Share Document on Facebook

	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xV0o - View Document
	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA) DocID: 1xUSb - View Document
	Malicious Code on Java Card Smartcards: Attacks and Countermeasures Wojciech Mostowski and Erik Poll Digital Security (DS) group, Department of Computing Science Radboud University Nijmegen, The Netherlands {woj,erikpoll DocID: 1ved8 - View Document
	OCLUML 2003 Preliminary Version Specifying JAVA CARD API in OCL Daniel Larsson 1 Wojciech Mostowski 2 DocID: 1uMJu - View Document
	Testing the Java Card Applet Firewall Wojciech Mostowski and Erik Poll Security of Systems (SoS) group Department of Computing Science Radboud University Nijmegen The Netherlands DocID: 1umx8 - View Document