1235 search results - page 10 / 247 » Formalizing information security knowledge |
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
ACSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
IJCAI
2003
13 years 9 months ago
2003
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
CE
2004
13 years 7 months ago
2004
The goal of the study described in this paper was to gain an improved understanding of the social context of UK online centres and issues around the creation and exchange of knowl...
IEAAIE
2001
Springer
14 years 2 days ago
2001
Springer
In a unified knowledge representation, data, information and knowledge are all represented in a single formalism. A unified knowledge representation based on “items” is describ...