Sciweavers

1235 search results - page 10 / 247
» Formalizing information security knowledge
Sort
View
CAISE
2006
Springer
15 years 4 months ago
An attempt to combine UML and formal methods to model airport security
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...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
108
Voted
ACSAC
1999
IEEE
15 years 6 months ago
Security Policy Coordination for Heterogeneous Information Systems
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
John Hale, Pablo Galiasso, Mauricio Papa, Sujeet S...
116
Voted
IJCAI
2003
15 years 3 months ago
A Theory of Average-Case Compilability in Knowledge Representation
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
Hubie Chen
CE
2004
88views more  CE 2004»
15 years 2 months ago
Beyond formal learning: Informal community eLearning
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...
John Cook, Matt Smith
96
Voted
IEAAIE
2001
Springer
15 years 6 months ago
Why Use a Unified Knowledge Representation?
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...
John K. Debenham