Re: [FYI] Ross Anderson - Open and closed security are roughlyequivalent

[Peter Ross <peter.ross@alumni.tu-berlin.de>]

Hi Lutz,

On Wed, 12 Feb 2003, Lutz Donnerhacke wrote:

> Eine formale Verifizierung der Abwesenheit von Fehlerklassen (bis hin zur
> Abwesenheit aller Laufzeitfehler) ist heute schon möglich und wird gemacht.

Ehrlich, gibt's da _Praktikables_? Kannst Du mich mal auf Anschauens- und 
Lesenswertes, wie und was da gemacht wird, stossen?

Dankbar dafuer waere
der neugierige Peter



-- 
To unsubscribe, e-mail: debate-unsubscribe@lists.fitug.de
For additional commands, e-mail: debate-help@lists.fitug.de