Update

Ehem, 19:26.. Well, we have an ok conclusion. Half of related work. A semantics and a "formal aspects" section.The syntax is there too. Problems.. Well, we are over with 6 pages. Effectively 4. We dont have an example. We have a strange intro and an even stranger section 2, which explains the security architecture.

And we have a whole 4,5 hours.