1779 search results - page 89 / 356 » A Formal Model of Data Privacy |
180
click to vote
FORTE
2009
15 years 1 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
119
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
154
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
133
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
Abstract. With the widespread use of e-business coupled with the public's awareness of data privacy issues and recent database security related legislations, incorporating sec...
147
Voted
ISI
2008
Springer
15 years 4 months ago
2008
Springer
To conduct content analysis over text data, one may look out for important named objects and entities that refer to real world instances, synthesizing them into knowledge relevant ...