Document in preparation, info page

These docs are under construction, please do not copy from or refer to them without first consulting the author(s)

Model/simulation, formal model

author(s): Arie Taal, Guus Sliepen, Armijn Hemel, Dave Spence

Model documents in M$-Word:

Try out simulation stuff:

Source: http://www.phys.uu.nl/~vdvegt/java
Simulatie: http://www.phys.uu.nl/~vdvegt/Simulation.html

Important links:

OMG: ftp://ftp.omg.org/pub/docs/security
CORBA: CORBA AA security model
Courteous Logic Programming:

http://www.research.ibm.com/people/g/grosof/paps/ec99_proceedings.pdf

KeyNote:

http://www.crypto.com/trustmgt/kn.html

http://www.crypto.com/papers/rfc2704.txt ( RFC 2704 )

To the directory, currently managed by Arie Taal

CdL - dec 6th 2000

Visitors of this page:

AAAARCH