The Use of Formal Methods for Trusted Digital Signature Devices

@inproceedings{pub1602,
    author = {

Langenstein, Bruno
 and 

Ullmann, Markus
 and 

Vogt, Roland
},
    title = {The Use of Formal Methods for Trusted Digital Signature Devices},
    booktitle = {Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS)},
    year = {2000},
    publisher = {AAAI Press}
}