SPECIFICATION-DRIVEN TESTING OF SMART CARD INTERFACE USING A FORMAL MODEL

First Page		Document Content
Date: 2009-06-18 01:00:00 Evaluation Smart card application protocol data unit Model-based testing Smart card FIPS 201 KeY Test execution engine Science ISO standards Software testing Smart cards		SPECIFICATION-DRIVEN TESTING OF SMART CARD INTERFACE USING A FORMAL MODEL Add to Reading List Source URL: csrc.nist.gov Download Document from Source Website File Size: 193,89 KB Share Document on Facebook

	LNCSTTS: High-Speed Signatures on a Low-Cost Smart Card DocID: 1xTg8 - View Document
	PDF Document DocID: 1wHOM - View Document
	PDF Document DocID: 1wCwi - View Document
	Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & DocID: 1vqAs - View Document
	Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems DocID: 1vpVq - View Document