Proceedings-Artikel

The Use of Formal Methods for Trusted Digital Signature Devices

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

Weitere Links

BibTeX

http://www.dfki.de/vse/papers/luv00.ps.gz