Home
Contact Us
SiteMap
Home
About
Publications
Projects
DBAMP
Resources
Activities
Formal verification and validation of usage control Application with SPIN model checker:
EASIP
Resources
Activities
Permissions and its sequences
Administrative role back policy enforcement
Android runtime security policy enforcement framework
TTWS
RESOURCES
ACTIVITES
XDauth framework
CMS in OpenERP for IMS
Model @ Work in OpenEPR
Resources
Teaching
Contact Us
Welcome to Security Engineering
April 4th, 2007 By recluze
No Comments
A.A. and Welcome to Security Engineering’s blog. Hope to see lots of activity here.
Leave a Reply
Name
(Required)
Email
(Required)
Website
Comments
Categories
Access Control
(2)
Achievements
(8)
Android Source
(2)
Announcements
(22)
Blogroll
(1)
Conferences
(12)
Cryptography
(3)
EASIP-Research
(6)
easip-web
(14)
Formal Methods
(8)
Ideas
(12)
Isabelle
(6)
Linux
(23)
MAC on mobile platform
(7)
Mobile Platforms
(2)
Multi Mashups
(3)
News
(29)
OpenERP
(2)
OpenMoko
(3)
PKI
(3)
Policy Writing
(4)
Profiles
(11)
Publications
(1)
Resources
(32)
Security
(2)
SELinux
(12)
Trusted Computing
(17)
Tutorials
(7)
Uncategorized
(115)
Vitualization
(1)
Blogroll
Bahar Ali Khan
Engr Shahryar
IMSciences
Mohsin
recluze
Shaz’s Blog
Waqar Afridi's blog
IS Database
IS Database
Meta
Log in
Entries
RSS
Comments
RSS
WordPress.org
Next >>