Re: Problem in draft FIPS `CRYPTOGRAPHIC SERVICE CALLS'

It appears to be an attempt to formalize the interface to the Tessera card. The file cryptcal.txt can be found on csrc.ncsl.nist.gov