Verification Support Environment
Other resources:

Digital Signature - Formal Security Model with VSE

German Security Congress, 1997, Poster Session

The German parliament is currently working on legislation concerning the use of digital signatures. This poster illustrates a formal model of the actions involved, based on draft versions of the "Signaturgesetz" and the corresponding "Signaturverordnung".

Available: PostScript

A VSE Demo

Using VSE, the Institute for Systems, Informatics and Safety at the European Community Joint Research Center has modeled parts of a blanket handling device for a fusion reactor. This demo illustrates both the application as well as the use of VSE to develop a security model for a part of the system, and prove that the security requirements are met.

JRC Demo (please note that the demo resides on a server in Italy)
DFKI Mirror (This is the same demo on the DFKI server)
Some parts of the Demo require JavaScript
This file was edited at Jan 11 10:00:05 MET DST 1995 by
Dieter Hutter (hutter@dfki.de)