Update on Z
April 30th, 2007 By recluze

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.

1 Responses to " Update on Z "
May 2nd, 2007

Sorry Nauman for late response.

InshAllah,I will talk to you in a day. Kindly come online some time in the night (a bit late), so that we can sort out the things.


Leave a Reply