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

	Securing the future of mobile services Open Mobile API Specification Errata Open Mobile API Specification Errata for V3.2 DocID: 1qUW8 - View Document
	GB-HA4) Printed on Oct 8, ’99 Data Transmission Specifications 3S4YR-MVFW(DL)-0** Series Hybrid Card Reader/Writer DocID: 1qjlB - View Document
	Securing the future of mobile services Open Mobile API Specification Errata Open Mobile API Specification Second Errata for V3.2 DocID: 1q5tH - View Document
	Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems DocID: 1oSIh - View Document
	PDF Document DocID: 1mgtI - View Document