A.A. everyone (whoever’s left here)

I’ve almost finished the specification part of the OSL. (That’s chapter 2 in the DoCoMo document.) I’ve also created a complete (albeit simple) specification in Z and type checked it using ZETA. I’ll be uploading that pretty soon inshallah. I feel pretty comfortable with Z.

I would like it very much if Mr. MM can update me on roughly what portion of the Usage Control he’s working on. I know it has something to do with his SECTET and the higher level abstraction but I’m not sure. If it’s not suitable to be put in public writing, a mail would also do.

Secondly, I would like to know what I’m expected to contribute in this area? I have a few ideas but most of them are half-baked as of now.