Security Engineering is a research group based in Peshawar, Pakistan specializing in security and service oriented architectures related areas. Our areas of focus are Remote attestation via Trusted Computing standards on ubiquitous and mobile platforms. Our research proposes behavioral paradigm for remote attestation. The purpose of this blog i...Read More
Salam All,
Kindly find the link below. Kindly let me know about your availability about a discussion on case studies about Z notation and all that. I will also suggest, that if you can prepare some slides regarding on “How to Hol-z at work”, then, we all can start a combine effort to master...
AA
Nice work noman… i m really happy with the efforts you put so far in this area… Printing the book is not a problem i can arrange things from ims otherwise i ll buy RIM for you and you can get it printed over here… binding apnay paisoan ki ….
For MM i ll suggest that he should...
A.A. everyone.
Nothing going on in the group scene? Isn’t anybody doing anything? Or should I say, isn’t anybody writing anything about what they’re doing?
Here’s my update on my work with Z.
I’ve almost finished the Using Z book. I’m on to the chapter that has the...
AOA i just lookin at this stuff…. its really good and vastly supported by novell..here is the link.. a detailed pdf is also there..have go on this link. AppArmor Linux Application Security: Overview: tc bye amin.
Shaz: Quite hot discussion going on this software. I dont know, but seems to me that it is some thing parallel to SElinux. study it and tell us, as you are working on SELinux, it will nice, if you also see the accompanying technologies. Best, MA
InshAllah, we will meet tomorrow on friday. Best, MA
Kindly check for my comments on your blog. For all: It will be a good practice to write comments on each respective blog, rather than creating new entries. The outlook is cool. Best, MA
Actually, I like it more this way. I think the blue/clean theme looks better. Just leave it as it is. Or ask others about it.

