4217 search results - page 79 / 844 » Computational indistinguishability logic |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
BIRTHDAY
2010
Springer
14 years 8 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer