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

	Personal Identity Verification (PIV) Request for DOC Credential DocID: 1r81n - View Document
	NPIVP Testing Request for Information NPIVP Testing Request for Information DocID: 1qWd7 - View Document
	Identity Management Focuses on Credentialing HSPD-12 Will Serve as a Unifier for Agencies Security Inc. of Redwood City, Calif., 59 percent of system integrators (SIs) surveyed see the lack of DocID: 1qPgX - View Document
	Cryptographic and Security Testing Laboratory Deputy Laboratory Director, CST Laboratory Manager © atsec information security, 2015 About our Cryptographic and DocID: 1qzKV - View Document
	PIV Login Quick Reference Guide PIV Users can only login with Internet Explorer What is PIV and who uses it? DocID: 1qiu1 - View Document