A system and method for providing assurance to a host executing a piece of software that the software possesses a particular property. A certifier determines if a piece of software possesses a particular property, and if it does, it cryptographically signs the software, producing a signature. The software and a certificate that includes the signature is then distributed to a host. The host checks the signature. If the signature is valid, then the host is provided with assurance that the software possesses the particular property. If the signature is not valid, then the host is provided with no such assurance.

Un sistema e un metodo per fornire assicurazione ad un ospite che esegue una parte di software che il software possiede una proprietà particolare. Un più certifier determina se una parte di software possiede una proprietà particolare e se, cryptographically firma il software, producendo una firma. Il software e un certificato che include la firma allora è distribuito ad un ospite. L'ospite controlla la firma. Se la firma è valida, allora l'ospite è fornito di assicurazione che il software possiede la proprietà particolare. Se la firma è non valida, allora l'ospite è fornito senza tale assicurazione.