http://cl-informatik.uibk.ac.at/teaching/ss07/fp/course_material.php
Nauman: Check, if this is is of our future use.
Security Engineering
Research group specializing in security engineering and formal methods — Moved to http://serg.imsciences.edu.pk
http://cl-informatik.uibk.ac.at/teaching/ss07/fp/course_material.php
Nauman: Check, if this is is of our future use.
Posted in Uncategorized
Ab toh aadat see ho rahee hay aisay jeenay main. Ab toh zinda hoon zinda hoon main HOL aur zeta main.
Yeh too ne kya kiya functional programming ko choo liya. Badan main confusion see kar dee to nay meray Xenwan.
Kitnay masail thay. Tera kya hoga Xenwan.
Acha sila diya tu ne meray sath ka. Xenwan ne he beda ghark karwa diya saray research ka.
“I’ve forgoten most of the songs but after becoming a researcher I can recall this at least.”
By: shazkhan on July 26, 2007
at 3:26 pm
Downloads of slides require authentication. I can’t download them.
By: recluze on July 27, 2007
at 6:24 am
May be, i am within their domain, thats why , all slides are visible to me.
I shall make a backup of all these, basically.
By: alam78 on July 27, 2007
at 7:50 am
nobody appreciated my sense of humor. I know I can’t be like mr mma but still appreciation does not cost.
By: shazkhan on July 27, 2007
at 5:46 pm
I enjoyed, but did not mention on the blog.
Secondly, don’t know, what to say in response:
Keep it Up! or
leave research and start poetry or
…
By: alam78 on July 28, 2007
at 6:35 am
Thanku. Anyways, I have come accross some new ideas while working out my comparative paper. Solving the ifs and buts of policy distribution for distributed selinux. I came across another networking method of MACs i.e. using rpcs. encoding the mac contexts in rpc headers. This might interest u becoz its implemented at application layer. The ipsec at network layer and the selinux network support on various layers are different solutions to mac carriers. The real problem lies in policy distribution and analysis of distributed policy. To look at other curent mechanisms like kerberos, it is also a MAC mechanism for Networked resources as it utilizes security adminitrators set policy in accordance to the organisational requirements which the users can not mess with therefore it fixes well in MAC definitions. But the problem lies in integeration with system level MACs like selinux, sebsd, sedarwin, trusted oses etc. We can talk about it because I have worked out much of the concepts very nicely in my mind.
By: shazkhan on July 28, 2007
at 1:54 pm
ok. see you then.
Best,
MM Alam
By: alam78 on July 28, 2007
at 1:55 pm