Update on Z
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 Comment to Update on Z
Leave a comment
Search
Recent Comments
- Khushal Khan on Dynamic Behavioral Attestation for Mobile Platforms
- Dynamic Behavioral Attestation for Mobile Platforms - Project « recluze on DBAMP
- shazkhan on Backing up OpenMoko FR before bricking it and getting your custom kernel and rootfs onto it …
- shazkhan on Getting Java on Openmoko
- shazkhan on A Standardized .bib File
Archives
- January 2009 (1)
- December 2008 (1)
- November 2008 (7)
- October 2008 (4)
- September 2008 (2)
- August 2008 (4)
- July 2008 (1)
- June 2008 (5)
- January 2008 (5)
- December 2007 (5)
- November 2007 (5)
- October 2007 (3)
- September 2007 (6)
- August 2007 (14)
- July 2007 (25)
- June 2007 (24)
- May 2007 (33)
- April 2007 (70)
Categories
- Achievements (7)
- Announcements (17)
- Blogroll (1)
- Conferences (11)
- Formal Methods (8)
- Ideas (11)
- Isabelle (6)
- Linux (18)
- News (28)
- Publications (1)
- Resources (31)
- SELinux (10)
- Trusted Computing (11)
- Uncategorized (106)
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.
Best,
MA