1235 search results - page 6 / 247 » Formalizing information security knowledge |
118
Voted
HICSS
2003
IEEE
15 years 5 months 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
14 years 9 months ago
2009
COMPSEC
2010
14 years 11 months ago
2010
101
click to vote
CORR
2006
Springer
14 years 11 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...
114
Voted
ACSC
2006
IEEE
15 years 5 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...