1235 search results - page 6 / 247 » Formalizing information security knowledge |
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
ICSOFT
2009
13 years 5 months ago
2009
COMPSEC
2010
13 years 7 months ago
2010
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...