1235 search results - page 105 / 247 » Formalizing information security knowledge |
MKM
2007
Springer
14 years 2 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
ASM
2010
ASM
13 years 10 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
ETRICS
2006
13 years 11 months ago
2006
Abstract. Practical computer (in)security is largely driven by the existence of and knowledge about vulnerabilities, which can be exploited to breach security mechanisms. Although ...
SPIESR
2004
13 years 9 months ago
2004
In this paper a novel "Smart Media" concept for semantic-based multimedia security and management is proposed. This concept is based on interactive object segmentation (...
KCAP
2009
ACM
14 years 2 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...