Verified Proof Carrying Code ; Formalisierung und Verifikation eines Systems zum statischen Ausschluss von Sicherheitsfehlern in Bytecode Programmen (English)
Free access
- New search for: Wildmoser, Martin
- New search for: Wildmoser, Martin
- New search for: Nipkow, Tobias (Prof. Ph.D.)
- New search for: Hofmann, Martin (Prof. Ph.D.)
2007
- Theses / Electronic Resource
-
Title:Verified Proof Carrying Code ; Formalisierung und Verifikation eines Systems zum statischen Ausschluss von Sicherheitsfehlern in Bytecode Programmen
-
Contributors:
-
Publication date:2007-07-10
-
Type of media:Theses
-
Type of material:Electronic Resource
-
Language:English
- New search for: 000 / 004
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source: