Publication

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.

http://www.dfki.de/vse/papers/luv00.ps.gz (gz, 56 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz