Skip to main content Skip to main navigation

Publikation

The Use of Formal Methods for Trusted Digital Signature Devices

Bruno Langenstein; Markus Ullmann; Roland Vogt
In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.