Final year project: LinSec

LinSec was initially developed as a final year project at University College London. The original, written document submitted to the degree comitee at UCL serves as the most extensive piece of documentation for the project. However, some things have changed since the document was submitted. The decision has been made, by the LinSec team, to keep the document in its original state and publish any changes separately. Therefore, this page contains both the original document and the subsequent changes...

The original thesis work can be downloaded in PDF format, or you can browse and read it online.

After final changes:

• Capability inheritance algorithm
• Access domain model