Formal modelling, specification and verification of security in computer systems.
Financial support is from the Norwegian Research Council and the University of Oslo. My last salary will be received around March 1997. After that I do not know what to do or where to go. The formal security community in Norway is small. If anybody is interested in collaboration just say so and I am ready.
My work should result in 3 or 4 articles. Title for these follows below. Be aware that these may be revised.
Changed: 15. jaunar 1995