An EBook
`This is an old but nice book regarding Trusted System and Computer Security. One can appreciate the author’s clear ideas and imagination about the subject.
4 Comments to An EBook
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)
Noman: you can check chapter 12 of this book for formal specification and verification… it seem to be easy (as i could also understand) but still i bothered to let u know about it
I’m downloading it. If it’s formal specification, I’d like to read about it. It may finally bring two aspects of this group together. I’m sick of working alone!
Same here me is alone too and the subject is too vast and complex cant get it together to get to some point!
U guys might then like this book as well. It has a chapter on nuclear reactor security as well.
http://www.cl.cam.ac.uk/~rja14/book.html