Welcome to our Site!

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

Instructions posted on: http://recluze.wordpress.com/2007/06/17/installing-and-configuring-hol-ocl/

Read All
Some How..Am Back!
June 16th, 2007 By clickforamin

AOA all guys I am back with my 200/- rs. card in my cdma system which is halfway over…. nevertheless i thought to have an email contact with you all guys. i hope all of u will enjoying good and sound health. same is here. Eventually i found a page which i thought…could be good for u guys...

Read All
Meeting time this Friday
June 14th, 2007 By alam78

Salam every one, I have talked to Tamleek sb, and he agreed with me that if meeting time can be moved to evening such as 8 or 9 PM in Pakistan. The reason is that we can then talk very flexibly and till longer duration. Nauman please comment on your availability on Friday evening.

Read All
Blog Stats
June 12th, 2007 By recluze

A.A. everyone, In case you guys haven’t seen it yet, here’s a link for our blog statistics. It shows page hits etc. It also shows what search keywords people use who reach our blog. It’s useful if you’re trying to see what audience you’re receiving. http://securityengineering.wordpress.com/wp-admin/index.php?page=stats

Read All
Thoughts on Z
June 12th, 2007 By recluze

I’ve worked with Z notation now for a complete specification and here are my thoughts regarding the experience. Now I know why Z is losing clientelle and why software engineers are reluctant to use it in practical scenarios. It has all the problems normally associated with structural programming...

Read All
Need a Book
June 11th, 2007 By shazkhan

I had an email correspondence with Trent Jaeger who made labeled IPSec. He suggested the following book for Trusted computing related questions.    o Sean Smith’s book on Trusted Computing Platforms. Mr. TAT can u get it for me from that website? Or somewhere else? He also said that consistent...

Read All
For Nauman
June 10th, 2007 By alam78

http://eprints.eemcs.utwente.nl/6945/01/TR-CTIT-06-62.pdf Take a look at this. Best, MM Alam

Read All
IMA info required
June 8th, 2007 By shazkhan

Salams, today we had a comprehensive talk about selinux, trusted computing and formal methods. It was a good get together and we need to have these on regular bases. Secondly, Mr. MMA discussed his experiance related to IMA usage side by side with selinux. He will share his experiance with us. This will...

Read All