ACM Symposium on Information, Computer and Communications Security

Our paper “Formalizing Information Security Knowledge” has been accepted at the ACM Symposium on Information, Computer and Communications Security 2009 (Project Details).