The Use of Formal Methods for Trusted Digital Signature Devices.

Bruno Langenstein, Roland Vogt, Markus Ullmann

Browse the full FlAIRS paper archive.