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
Welcome to our Site!
I have a question and I was wondering if one of you security gurus can answer it.
There’s a lemma in the “Message” theory in Isabelle. It says, “In any message, there is an upper bound N on its greatest Nonce”.
In Isabelle:
lemma “Ex N. !!n. N <=n –>...
After the comparison of trendy MAC enhancements, I have been figuring out the general needs of a network for MAC. We have three places where MAC can and is enforced:
In Application: Where flow control of application is controled by labeling the data of the application. Current research is limited to...
Install Windows Vista in a Mac OS X environment using VMware Fusion
August 23rd, 2007 By
clickforamin
It is indeed possible to run both Microsoft Windows and Mac OS X at the same time on a single personal computer. The key is VMware Fusion, a virtualization platform that allows you to run Windows in an OS X environment. This How do I… shows you how to install Windows Vista in an OS X environment....
I’ve started working with the development of framework for protocol verification part of my Isabelle related work. Currently, this is simply copying of the Messages, Events and Public-key portion provided with Isabelle. This is mostly for my understanding. It’s already developed and many...
4th International Conference on Innovations in Information Technology–Review
August 21st, 2007 By
clickforamin
Submission
Innovations’2007 seeks original full-length (5 pages maximum) paper proposals describing research in all areas of Information Technology that contribute to the conference theme. All papers will be peer reviewed. Acceptance will be passed on quality, relevance and originality. Accepted...
A.A. once again every one!
After a long time, I have regained my ‘dil ka zore’. I’ve been through it before — many times. So, I’m pretty used to it by now. It’s always left me with a lot more knowledge than I would’ve gained without it.
Anyway, I think...
New post (after a long time) on my site. If you’re interested in either Eclipse, Lisp, C++, Java or LaTeX, you need to see this: http://recluze.wordpress.com/2007/08/17/eclipse-java-c-lisp-latex-and-isabelle/
4th International Conference on Innovations in Information Technology
August 12th, 2007 By
clickforamin
AOA
here goes another conference
Important Dates
Tutorials & special-session proposals due:
Papers and posters submission due:
Papers submissions deadline extended:
Notification of acceptance:
Final camera ready papers due:
July 15, 2007
August 4, 2007
August 28, 2007
September 22, 2007
October...