1235 search results - page 6 / 247 » Formalizing information security knowledge |
143
Voted
HICSS
2003
IEEE
15 years 7 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...
69
Voted
ICSOFT
2009
15 years 1 days ago
2009
COMPSEC
2010
15 years 2 months ago
2010
126
click to vote
CORR
2006
Springer
15 years 2 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...
138
Voted
ACSC
2006
IEEE
15 years 8 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...