`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.
Security Engineering
Research group specializing in security engineering and formal methods — Moved to http://serg.imsciences.edu.pk
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
By: TaMLeEk on June 2, 2007
at 6:38 am
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!
By: recluze on June 3, 2007
at 3:37 pm
Same here me is alone too and the subject is too vast and complex cant get it together to get to some point!
By: shazkhan on June 3, 2007
at 6:51 pm
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
By: shazkhan on June 3, 2007
at 7:26 pm