Security Engineering

Moved to IMSciences Host

recluze — Mon, 28 Jan 2008 07:20:17 +0000

After officially getting a home in IMSciences, Peshawar, we’ve moved our blog/website to IMS host. We’re now living at http://serg.imsciences.edu.pk.

We will no longer be posting here. Please visit our new site for updates.

Portable Local WebServer with Apache, SQL, PHP and Applications for Windows

clickforamin — Sat, 19 Jan 2008 08:34:54 +0000

This is a cool Portable device…with a great range of support for portable devices locally and on the web….

follow the link.

Portable Local WebServer with Apache, SQL, PHP and Applications for Windows » Raymond.CC Blog:

amin.

Distributed Access Control Systems [TechRep]

recluze — Sat, 19 Jan 2008 05:08:31 +0000

Cambridge university technical report on:

Active privilege management for distributed access control systems

It isn’t strictly related to our work but it has some detailed discussion of access control related work.

ACM Plagiarism Policy

recluze — Tue, 08 Jan 2008 06:56:42 +0000

The ACM Plagiarism policy:

http://www.acm.org/pubs/plagiarism%20policy.html

Knoppix for Trusted Computing with TPM Manager

clickforamin — Fri, 28 Dec 2007 07:49:28 +0000

Knoppix for Trusted Computing with TPM Manager The latest release of the Linux distribution Knoppix now supports Trusted Computing with TPM (Trusted Platform Module). Therefore the new Knoppix 5.1.1 includes the latest release of Sirrix TPM Manager to provide complete GUI control over the TPM. Ruhr-University Bochum and Sirrix AG developed the TPM Manager, an open source application providing an easy to use graphical user interface to manage and configure a Trusted Platform Module…

Knoppix for Trusted Computing with TPM Manager | EMSCB:

amin.

Security Conferences and Symposiums-2008 And Onwards!

clickforamin — Wed, 19 Dec 2007 11:28:23 +0000

AOA

Here is the security in 21 minutes.

Security Groups on the Web

http://www.cs.vu.nl/~crispo/security/wwwaddr.html

People Working on Security and Cryptography

http://www.cs.vu.nl/~crispo/security/people.html

here are the links to all (most probably) major upcoming Security conferences or symposiums… i found it interesting so posting these links…. please note that i found some very good info. in some of the links.

here goes the links:

Some Conference Rankings and there statistics…!

How to judge how good a conference is?

http://www-static.cc.gatech.edu/~guofei/sec_conf_stat.htm

follow the link

by these links i mean to be aligned with international community and to keep up our work accordingly. some very good symposiums and conferences are approaching that can be very helpful from audience and exposure point of view. some deadlines are dead close please take care of it.

amin.

Mental Slavery

shazkhan — Tue, 18 Dec 2007 15:48:41 +0000

The following link presents some philosophical jewels (novel approach) about study of mind and reality by professor shaz.

http://shazkhan.wordpress.com/2007/12/18/mental-slavery/

I hope you like it.

IEEE — Standards Organization?!

recluze — Tue, 18 Dec 2007 04:58:34 +0000

I don’t mean to be rude but IEEE has done it this time. I was wondering why their publication styles are so typographically ugly but at least that could be justified. Now, they’ve come up with a “new” computer.org home page and … well, just take a look at it:

http://www2.computer.org/portal/web/guest

That’s what bachelor’s students design when they’re learning FrontPage! Sheesh!

LEO II

recluze — Tue, 18 Dec 2007 04:34:35 +0000

LEO-II is a standalone, resolution-based higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments of higher-order logic such as first-order and propositional logic. Currently LEO-II cooperates with the first-order automated theorem provers E, SPASS, and Vampire.

LEO-II is implemented in Objective CAML (Version 3.09) and its problem representation language is TPTP THF.

The development of LEO-II has been supported by the EPRSC grant EP/D070511/1 at Cambridge University, England.

Source: http://www.ags.uni-sb.de/~chris/leo/index.html
—————

I post this here for two reasons. First, the LEO team includes Larry Paulson. So, this will have some connections with Isabelle.

Secondly, take a look at the EPRSC grant page. It can guide us in writing our own project grant information page.

Applying UML and Patterns

recluze — Thu, 29 Nov 2007 09:12:50 +0000

UML book and diagrams for creating presentations.

See my blog.